Martial Leroy est ancien élève de l'ENS Cachan, agrégé de mathématiques et titulaire de deux masters : "Analyse fonctionnelle et théorie descriptive des ensembles", 1990, et "Logique Mathématique et Fondements de l'Informatique" (LMFI), 2004. Il travaille depuis 2010 à la rédaction de cette monographie.
Théorie des ensembles comme fondement des mathématiques. Volume 2, Théorie avancée, combinatoire et forcing
Par :Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 18 septembreCet article sera commandé chez un fournisseur et vous sera envoyé 19 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- Nombre de pages582
- FormatGrand Format
- PrésentationBroché
- Poids0.92 kg
- Dimensions15,6 cm × 23,4 cm × 3,3 cm
- ISBN978-2-493230-27-0
- EAN9782493230270
- Date de parution04/09/2025
- CollectionOrizzonti
- ÉditeurCalvage et Mounet
Résumé
Ce second volume montre des énoncés indémontrables à partir de ZFC, incluant des hypothèses plus fortes et des énoncés indépendants comme l'hypothèse du continu. Il utilise des outils sémantiques, le théorème de complétude et l'incomplétude de Gödel, explore les ensembles constructibles et le forcing. Ce volume se termine par d'autres utilisations du forcing : forcing produit, théorème d'Easton, forcing itéré, consistance de l'axiome de Martin, forcing propre, l'axiome PFA et d'autres axiomes de forcing.
