Logique, ensembles, catégories : le point de vue constructif

Auteur(s) :

Ageron, Pierre (1964-....) Découvrir l'auteur

Résumé

Cours de mathématiques constructives : discussion approfondie des grands postulats non constructifs des mathématiques et développement de la théorie élémentaire des ensembles, des ensembles ordonnés et des catégories.

Éditeur(s)
- Ellipses
Date
- 2000
Notes
- Bibliogr. p. 116-117. Index
Langues
- Français
Description matérielle
- 117 p. : couv. ill. ; 26 cm
Collections
- Mathématiques pour le 2e cycle
Sujet(s)
ISBN
- 2-7298-0245-2
Indice
- 511.1 Théorie des ensembles, classes, structures, morphismes et catégories
Tables des matières
- - Logique, ensembles, catégories
  - Le point de vue constructif
  - Pierre Ageron
  - ellipses
  - Avant-proposv
  - Table des matièresvii
  - Leçon 1: principe du tiers exclu1
  - Leçon 2: logique intuitionniste4
  - Leçon 3: ensembles9
  - Leçon 4: entiers naturels15
  - Leçon 5: axiome du choix19
  - Leçon 6: équipotence, subpotence25
  - Leçon 7: polynômes d'ensembles29
  - Leçon 8: théorème de Cantor32
  - Leçon 9: théorème de Cantor-Bernstein35
  - Leçon 10: simplification cardinale37
  - Leçon 11: finitude40
  - Leçon 12: réflexivité45
  - Leçon 13: dénombrabilité48
  - Leçon 14: ensemble bien ordonnés52
  - Leçon 15: comparaison des ensembles bien ordonnés55
  - Leçon 16: construction de Kruse60
  - Leçon 17: ordinaux63
  - Leçon 18: construction de Hartogs66
  - Leçon 19: théorème de Specker68
  - Leçon 20: hypothèse généralisée du continu70
  - Leçon 21: théorèmes de Zermelo et de König72
  - Leçon 22: graphes réflexifs75
  - Leçon 23: limites projectives77
  - Leçon 24: limites inductives81
  - Leçon 25: interversion de limites87
  - Leçon 26: ensembles ordonnés complets92
  - Leçon 27: catégories97
  - Leçon 28: catégories complètes102
  - Leçon 29: diagrammes initiaux108
  - Leçon 30: points fixes de foncteurs111
  - Bibliographie116
  - Index des notions118
  - Index des noms119
Origine de la notice:
- BN