 |
|
|
|
| HAL : hal-00497587, version 1 |
| arXiv : 1007.0825 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| Realizability algebras II : new models of ZF + DC |
|
|
| Jean-Louis Krivine 1 |
|
|
| (05/07/2010) |
|
|
|
| Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results. We show the relative consistency of ZF + DC + some unusual properties for the power set of R. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Preuves, programmes et systèmes CNRS UMR 7126 |
|
|
|
|
| Domaine | : | Mathématiques/Logique Informatique/Logique en informatique |
|
|
| Curry-Howard correspondance – lambda-calculus – set theory – relative consistency |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00497587, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00497587 | |
| oai:hal.archives-ouvertes.fr:hal-00497587 | |
| Contributeur : Jean-Louis Krivine | |
| Soumis le : Lundi 5 Juillet 2010, 12:51:45 | |
| Dernière modification le : Mardi 6 Juillet 2010, 09:53:56 | |
