{
  "id": "1806.04077",
  "version": "v1",
  "published": "2018-06-11T15:59:10.000Z",
  "updated": "2018-06-11T15:59:10.000Z",
  "title": "Dependent Choice, Properness, and Generic Absoluteness",
  "authors": [
    "David Asperó",
    "Asaf Karagila"
  ],
  "comment": "12 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "We observe that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals. We also investigate some basic consequences of the Proper Forcing Axiom in ZF, and formulate a natural question about the generic absoluteness of the Proper Forcing Axiom in ZF+DC and ZFC.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2018-06-11T15:59:10.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03E25",
      "03E55",
      "03E35",
      "03E57"
    ],
    "keywords": [
      "dependent choice",
      "proper forcing axiom",
      "properness",
      "sufficient choice principle",
      "basic theory"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 12,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}