|
|
VOLUME 8, ISSUE 1, PAPER 10
|
Realizability algebras II : new models of ZF + DC
|
©Jean-Louis Krivine, CNRS
|
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.
|
Publication date: February 27, 2012
Full Text: PDF | PostScript
DOI: 10.2168/LMCS-8(1:10)2012
Hit Counts: 1069 |
 Creative Commons | |
