Krivine, Jean-Louis - Realizability algebras II : new models of ZF + DC

lmcs:1072 - Logical Methods in Computer Science, February 27, 2012, Volume 8, Issue 1
Realizability algebras II : new models of ZF + DC

Authors: Krivine, Jean-Louis

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.

DOI : 10.2168/LMCS-8(1:10)2012
Volume: Volume 8, Issue 1
Published on: February 27, 2012
Submitted on: August 24, 2010
Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science,F.4.1


Consultation statistics

This page has been seen 190 times.
This article's PDF has been downloaded 202 times.