|
|
|
|
| LEADER |
01806nam a22003497a 4500 |
| 001 |
156190 |
| 008 |
981015t19981998xxg ||| |||| 00| 0 fre d |
| 009 |
PPN004487826 |
| 020 |
|
|
|a 2842250141 (rel.) :
|c 200 FRF = 30 EUR
|
| 024 |
|
|
|a 9782842250140
|
| 041 |
0 |
|
|a fre
|
| 080 |
|
|
|a 510.6
|
| 082 |
|
|
|a 511.322
|
| 084 |
|
|
|a 03B30. 1991
|
| 084 |
|
|
|a 03Exx. 1991
|
| 084 |
|
|
|a 03G05. 1991
|
| 084 |
|
|
|a 04-01. 1991
|
| 084 |
|
|
|a 04-02. 1991
|
| 084 |
|
|
|a 06E10. 1991
|
| 100 |
1 |
|
|a Krivine, Jean-Louis,
|d 1939-
|
| 245 |
1 |
0 |
|a Théorie des ensembles
|c Jean-Louis Krivine.
|
| 260 |
|
|
|a Paris :
|b Cassini,
|c DL 1998.
|
| 300 |
|
|
|a 1 vol. (273 p.) ;
|c 24 cm.
|
| 490 |
1 |
|
|a Nouvelle bibliothèque mathématique
|x 1281-4393
|v 5
|
| 504 |
|
|
|a Bibliogr. p. 261-263. Index
|
| 505 |
0 |
|
|a Première partie : modèles intérieurs -- Axiomes de Zermelo-Fraenkel -- Ordinaux, cardinaux -- L'axiome de fondation -- Le schéma de réflexion -- L'ensemble des formules -- Ensembles définissables en termes d'ordinaux -- Modèles de Fraenkel-Mostowski -- Ensembles constructibles -- Le théorème d'incomplétude de Gödel -- Deuxième partie : forcing -- Un cas simple de forcing -- Extensions génériques -- Indépendance de l'hypothèse du continu -- Indépendance de l'axiome du choix -- Produits d'ensembles de conditions -- Chaînes et antichaînes -- Algèbres de Boole complètes -- Arbres
|
| 650 |
|
|
|a Forcing (mathématiques)
|
| 650 |
|
|
|a Ensembles, Théorie axiomatique des
|
| 650 |
|
|
|a Ensembles, Théorie des
|
| 917 |
|
|
|5 452342104:008381666
|a aaxx
|
| 997 |
|
|
|0 156190
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/BU Sciences, Technologies, STAPS/
|c 1/Orléans/IDP/
|z Orléans, BU Sciences, Technologies, STAPS, B6592
|z Orléans, IDP, A 7351 KRI
|
| 999 |
|
|
|5 452342104:008381666
|c BU
|d ORLE04
|a S 98-1671
|
