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 -
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


    On the Interpretation of Non-Finitist Proofs--Part I
    • 1 ScholeXplorer


    Consultation statistics

    This page has been seen 867 times.
    This article's PDF has been downloaded 373 times.