{
  "aliases": null,
  "backlinks": [
    {
      "field": "specializes",
      "target": "CMC2C1D53W"
    },
    {
      "field": "specializes",
      "target": "NW4DREQ5DQ"
    }
  ],
  "body": "\n## Summary\n\nA large cardinal is an infinite [[cardinal number|0EBACQFAZW]] with a property that makes it very large.\nIf ZFC is consistent, ZFC cannot prove that such cardinals exist.\nExamples are [[inaccessible|NW4DREQ5DQ]], [[Mahlo|CJFEPPP9KA]], [[weakly compact|1RHTVMH34G]], [[measurable|AKBWT323RQ]], [[Woodin|CMC2C1D53W]] and [[supercompact|91GE4C1BC5]] cardinals.\nThere is no precise definition of the term; it names a family of axioms that is, as far as is known, ordered by consistency strength.\nLarge cardinal axioms measure the strength of other statements, and they decide many questions about sets of reals, such as [[projective determinacy|2GY3131ZPS]].\n\n## Explanations\n\n### L1 human\n\nThe usual axioms of set theory give infinitely many sizes of infinity, one after another.\nA large cardinal is a size of infinity so big that the usual axioms cannot reach it from below.\nFor example, an inaccessible cardinal cannot be reached by taking power sets or unions of fewer sets.\nAdding a large cardinal as a new axiom gives a stronger theory, and set theorists compare statements by asking which large cardinal they need.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03E55"
    ],
    "name": "Large cardinal",
    "same_as": {
      "wikidata": "Q1548262",
      "wikipedia": "Large cardinal"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Large_cardinal"
      }
    ],
    "specializes": [
      "0EBACQFAZW"
    ],
    "tag": "X1FG7PSCTY"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/X1FG7PSCTY/",
  "links": [
    {
      "field": "specializes",
      "target": "0EBACQFAZW"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/X1FG7PSCTY.md",
  "msc": [
    "03E55"
  ],
  "name": "Large cardinal",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/X1F/X1FG7PSCTY.md",
  "status": null,
  "tag": "X1FG7PSCTY",
  "uri": "m2://X1FG7PSCTY",
  "url": "https://math2.tamnd.com/wiki/large-cardinal/",
  "writing": {
    "tag": "X1FG7PSCTY",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}