Nantilus
Théorie des ensembles
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Théorie des ensembles / Jean-Louis Krivine |
| Publié : |
Paris :
Cassini
, DL 1998 |
| Description matérielle : | 1 vol. (273 p.) |
| Collection : | Nouvelle bibliothèque mathématique ; 5 |
| Contenu : | Au sommaire : 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 ; forcing : un cas simple de forcing, extensions génériques, indépendance de l'hypothèse du continu, de l'axiome du choix, produits d'ensembles de conditions ... |
| Sujets : |
| Bibliographie : | Bibliogr. p. 261-263. Index |
|---|---|
| ISBN : | 2-84225-014-1 |