La théorie des ensembles : introduction à une théorie de l'infini et des grands cardinaux
Non, la théorie des ensembles, ce n'est pas dessiner des patates et des flèches... c'est élaborer en une théorie mathématique notre exploration de l'infini, ni plus, ni moins. Non, la théorie des ensembles n'est pas le système fondationnel unique des mathématiques... c'est u...
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Livre papier |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
Paris :
Calvage & Mounet
DL 2017.
|
| Seri Bilgileri: | Tableau noir
106 |
| Konular: | |
| Not: |
Liste de corrections , tenue à jour. https://dehornoy.users.lmno.cnrs.fr/ens_erratum.html La couv. porte en plus : "axiomatisation et représentation par des ensembles, ordinaux et cardinaux, logique du premier ordre et théorèmes d'incomplétude, modèles de ZF et méthode du forcing, grands cardinaux, détermination, nouveau système de base" |
| Autres localisations: | Voir dans le Sudoc |
İçindekiler:
- Partie A. Théorie élémentaire
- I. Le type " ensemble"
- II. Les ordinaux
- III. Le système de Zermelo-Fraenkel
- IV. L'axiome du choix
- V. Les cardinaux
- Partie B. Un peu de logique mathématique
- VI. Logique propositionnelle
- VII. Logique du premier ordre
- VIII. Théorèmes de limitation
- IX. Théorie descriptive des ensembles
- Partie C. Théorie axiomatique des ensembles
- X. Modèles de ZF
- XI. Les ensembles constructibles
- XII. La méthode du forcing
- XIII. Les grands cardinaux (I)
- XIV. Les grands cardinaux (II)
- XV. La détermination projective
- XVI. Un bilan mitigé