Logique, ensembles, catégories : le point de vue constructif / Pierre Ageron,... [ Livre]
Langue: Français.Publication : Paris : Ellipses, 2000Description : 117 p. ; 26 cmISBN: 2729802452.Collection: Mathématiques pour le 2e cycleClassification: 511.2 Analyse combinatoireRésumé: Sommaire 1. Principe du tiers exclu 2. Logique intuitioniste 3. Ensembles 4. Entiers naturels 5. Axiome du choix 6. Equipotence, subpotence 7. Polynômes d'ensembles 8. Théorème de Cantor 9. Théorème de Cnator-Bernstein 10. Simplification cardinale 11. Finitude 12. Reflexivité 13. Dénombrabilité 14. Ensembles bien ordonnés 15. Comparaison des ensembles bien ordonnés 16. Construction de Kruse 17. Ordinaux 18. Construction de Hartogs 19. Théorème de Specker 20. Hypothèse généralisée du continu 21. Théorème de Zermelo et de König 22. Graphes réflexifs 23. Limites projectives 24. Limites inductives 25. Interversion de limites 26. Ensembles ordonnés complets 27. Catégories 28. Catégories complètes 29. Diagrammes initiaux 30. Points fixes de foncteurs.Sujet - Nom commun: Mathématiques constructives -- Problèmes et exercices | Mathématiques constructives -- Manuels d'enseignement supérieur | Logique symbolique et mathématique -- Problèmes et exercices | Logique symbolique et mathématique -- Manuels d'enseignement supérieur | Ensembles, Théorie des -- Problèmes et exercices | Ensembles, Théorie des -- Manuels d'enseignement supérieur| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Mathématiques | 511.2 AGE (Browse shelf) | Available | 511.2 Analyse combinatoire | 00004760 |
Bibliogr. p. 116-117. Index
Sommaire
1. Principe du tiers exclu
2. Logique intuitioniste
3. Ensembles
4. Entiers naturels
5. Axiome du choix
6. Equipotence, subpotence
7. Polynômes d'ensembles
8. Théorème de Cantor
9. Théorème de Cnator-Bernstein
10. Simplification cardinale
11. Finitude
12. Reflexivité
13. Dénombrabilité
14. Ensembles bien ordonnés
15. Comparaison des ensembles bien ordonnés
16. Construction de Kruse
17. Ordinaux
18. Construction de Hartogs
19. Théorème de Specker
20. Hypothèse généralisée du continu
21. Théorème de Zermelo et de König
22. Graphes réflexifs
23. Limites projectives
24. Limites inductives
25. Interversion de limites
26. Ensembles ordonnés complets
27. Catégories
28. Catégories complètes
29. Diagrammes initiaux
30. Points fixes de foncteurs