{
  "aliases": null,
  "backlinks": [
    {
      "field": "instance_of",
      "target": "6TF2JBTPPJ"
    },
    {
      "field": "specializes",
      "target": "A6ZJ8MSCAY"
    },
    {
      "field": "defines",
      "target": "WH1MR8VHE3"
    }
  ],
  "body": "\n## Summary\n\nAn inner model is a transitive class of sets that contains all [[ordinals|0YSCSX5YZC]] and satisfies the axioms of [[ZF|0HE5WDQ9FJ]].\nIt is a smaller universe of sets that lives inside the universe $V$ and has the same ordinals.\nInner models give consistency proofs: a statement true in an inner model is consistent with ZF.\nThe [[constructible universe|6TF2JBTPPJ]] $L$ is the smallest inner model, and the [[core model|A6ZJ8MSCAY]] is a larger inner model built to hold large cardinals.\n\n## Explanations\n\n### L1 human\n\nThink of the universe of all sets as a large building.\nAn inner model is a smaller building inside it that has the same height, because it has every ordinal, but fewer rooms on each floor.\nInside the smaller building all the usual rules of set theory still hold.\nFor example, the constructible sets form such a building, and in it the continuum hypothesis is true.\nSo the continuum hypothesis cannot be disproved from the usual axioms.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03E45"
    ],
    "name": "Inner model",
    "same_as": {
      "wikidata": "Q6035663",
      "wikipedia": "Inner model"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Inner_model"
      }
    ],
    "tag": "G78W36EGMB"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/G78W36EGMB/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/G78W36EGMB.md",
  "msc": [
    "03E45"
  ],
  "name": "Inner model",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/G78/G78W36EGMB.md",
  "status": null,
  "tag": "G78W36EGMB",
  "uri": "m2://G78W36EGMB",
  "url": "https://math2.tamnd.com/wiki/inner-model/",
  "writing": {
    "tag": "G78W36EGMB",
    "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
      }
    ]
  }
}