{
  "id": "1007.0825",
  "version": "v4",
  "published": "2010-07-06T07:53:52.000Z",
  "updated": "2012-03-29T09:40:34.000Z",
  "title": "Realizability algebras II : new models of ZF + DC",
  "authors": [
    "Jean-Louis Krivine"
  ],
  "comment": "28 p",
  "journal": "LMCS 8 (1:10) 2012",
  "doi": "10.2168/LMCS-8(1:10)2012",
  "categories": [
    "math.LO",
    "cs.LO"
  ],
  "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.",
  "revisions": [
    {
      "version": "v4",
      "updated": "2012-03-29T09:40:34.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "F.4.1"
    ],
    "keywords": [
      "realizability algebras",
      "set theory",
      "relative consistency results",
      "similar properties",
      "correspondence"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2010arXiv1007.0825K"
    }
  }
}