{
  "id": "math/0403165",
  "version": "v1",
  "published": "2004-03-09T21:18:07.000Z",
  "updated": "2004-03-09T21:18:07.000Z",
  "title": "The Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal",
  "authors": [
    "Joel David Hamkins",
    "W. Hugh Woodin"
  ],
  "comment": "11 pages",
  "categories": [
    "math.LO"
  ],
  "abstract": "The Necessary Maximality Principle for c.c.c. forcing asserts that any statement about a real in a c.c.c. extension that could become true in a further c.c.c. extension and remain true in all subsequent c.c.c. extensions, is already true in the minimal extension containing the real. We show that this principle is equiconsistent with the existence of a weakly compact cardinal.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2004-03-09T21:18:07.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03E55",
      "03E40"
    ],
    "keywords": [
      "necessary maximality principle",
      "weakly compact cardinal",
      "equiconsistent",
      "remain true",
      "minimal extension"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 11,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2004math......3165H"
    }
  }
}