{
  "id": "1111.0462",
  "version": "v7",
  "published": "2011-11-02T11:23:22.000Z",
  "updated": "2013-03-11T04:12:23.000Z",
  "title": "Proof theory of weak compactness",
  "authors": [
    "Toshiyasu Arai"
  ],
  "doi": "10.1142/S0219061313500037",
  "categories": [
    "math.LO"
  ],
  "abstract": "We show that the existence of a weakly compact cardinal over the Zermelo-Fraenkel's set theory is proof-theoretically reducible to iterations of Mostowski collapsings and Mahlo operations.",
  "revisions": [
    {
      "version": "v7",
      "updated": "2013-03-11T04:12:23.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "03F99",
      "03E55"
    ],
    "keywords": [
      "weak compactness",
      "proof theory",
      "zermelo-fraenkels set theory",
      "weakly compact cardinal",
      "mahlo operations"
    ],
    "tags": [
      "journal article"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2011arXiv1111.0462A"
    }
  }
}