Realizability algebras II : new models of ZF + DC
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...