arXiv Analytics

Sign in

arXiv:1007.0825 [math.LO]AbstractReferencesReviewsResources

Realizability algebras II : new models of ZF + DC

Jean-Louis Krivine

Published 2010-07-06, updated 2012-03-29Version 4

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.

Comments: 28 p
Journal: LMCS 8 (1:10) 2012
Categories: math.LO, cs.LO
Subjects: F.4.1
Related articles: Most relevant | Search more
arXiv:1305.6206 [math.LO] (Published 2013-05-27)
Chiron: A Set Theory with Types, Undefinedness, Quotation, and Evaluation
arXiv:0906.3120 [math.LO] (Published 2009-06-17, updated 2010-09-25)
$σ$-Set Theory: Introduction to the concepts of $σ$-antielement, $σ$-antiset and Integer Space
arXiv:1902.07373 [math.LO] (Published 2019-02-20)
Construction and Set Theory

Links

Toolbox