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

lmcs:1072 - Logical Methods in Computer Science, February 27, 2012, Volume 8, Issue 1 - https://doi.org/10.2168/LMCS-8(1:10)2012
Realizability algebras II : new models of ZF + DCArticle

Authors: Jean-Louis Krivine

    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.


    Volume: Volume 8, Issue 1
    Published on: February 27, 2012
    Imported on: August 24, 2010
    Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science,F.4.1

    14 Documents citing this article

    Consultation statistics

    This page has been seen 1398 times.
    This article's PDF has been downloaded 445 times.