Fiche du document
28 mars 2017
- doi: 10.4000/books.psorbonne.309
- isbn: 9782859445843
- eisbn: 9782859448103
https://www.openedition.org/12554 , info:eu-repo/semantics/openAccess
Mots-clés
logique mathématique temps sciences de la nature mécanique quantique Philosophy PHI000000 HPCiter ce document
Patrick Dehornoy, « Au-delà du forcing : la notion de vérité essentielle en théorie des ensembles », Publications de la Sorbonne, ID : 10.4000/books.psorbonne.309
Métriques
Partage / Export
Résumé
. Ce texte présente des développements récents de la théorie des ensembles, et en particulier des résultats de H. Woodin sur l’hypothèse du continu. On y introduit la notion de vérité essentielle d’une propriété, qui apparaît comme une des possibilités les plus prometteuses pour dépasser les limitations induites par la méthode du forcing de Cohen. Par ailleurs, on discute brièvement le caractère de vérité d’un axiome tel que l’axiome de détermination projective.