{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "592QGNJCZC"
    }
  ],
  "body": "\n## Summary\n\nA Woodin cardinal is a [[large cardinal|X1FG7PSCTY]] defined by [[elementary embeddings|CGH8C8EA9N]] that reach high into the universe.\nIt is named after W. Hugh Woodin.\nWoodin cardinals are the large cardinals behind [[determinacy|QXECDPAYTN]]: Martin and Steel proved that infinitely many Woodin cardinals imply [[projective determinacy|2GY3131ZPS]].\nA Woodin cardinal is Mahlo, but it need not be weakly compact or measurable.\n\n## Explanations\n\n### L1 human\n\nA Woodin cardinal is a size of infinity below which there are many cardinals that are the starting point of embeddings of the universe into a copy of itself.\nThese embeddings must keep a large part of the universe intact, and how large is controlled by any given function.\nWoodin cardinals are the large cardinals one needs to show that many infinite games on the reals are determined.\nSo they connect the theory of large cardinals with the study of sets of real numbers.\n",
  "commit": "efe85cee8dbc57d85bedbacfb97b99d1b7bee843",
  "front": {
    "kind": "concept",
    "msc": [
      "03E55",
      "03E60"
    ],
    "name": "Woodin cardinal",
    "same_as": {
      "wikidata": "Q2548234",
      "wikipedia": "Woodin cardinal"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Woodin_cardinal"
      }
    ],
    "specializes": [
      "X1FG7PSCTY"
    ],
    "tag": "CMC2C1D53W"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/CMC2C1D53W/",
  "links": [
    {
      "field": "specializes",
      "target": "X1FG7PSCTY"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/CMC2C1D53W.md",
  "msc": [
    "03E55",
    "03E60"
  ],
  "name": "Woodin cardinal",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/CMC/CMC2C1D53W.md",
  "status": null,
  "tag": "CMC2C1D53W",
  "uri": "m2://CMC2C1D53W",
  "url": "https://math2.tamnd.com/wiki/woodin-cardinal/",
  "writing": {
    "tag": "CMC2C1D53W",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}