Realizability algebras II : new models of ZF + DC
Logic
2015-07-01 v4 Logic in Computer Science
Abstract
Using the proof-program (Curry-Howard) correspondence, we give a new method to obtain models of ZF and relative consistency results in set theory. We show the relative consistency of ZF + DC + there exists a sequence of subsets of R the cardinals of which are strictly decreasing + other similar properties of R. These results seem not to have been previously obtained by forcing.
Keywords
Cite
@article{arxiv.1007.0825,
title = {Realizability algebras II : new models of ZF + DC},
author = {Jean-Louis Krivine},
journal= {arXiv preprint arXiv:1007.0825},
year = {2015}
}
Comments
28 p