{
  "aliases": [
    "kurepa-conjecture",
    "kurepa-family",
    "kurepa-hypothesis",
    "kurepas-hypothesis"
  ],
  "backlinks": null,
  "body": "\n## Summary\n\nIn set theory, a **Kurepa tree** is a tree $(T, \u003c)$ of height $\\omega_1$, each of whose levels is countable, which has at least [[$\\aleph_2$|0V2H5PGJ9B]] many branches. This concept was introduced by (txt). The existence of a Kurepa tree (known as the **Kurepa hypothesis**, though Kurepa originally conjectured that such trees do not exist) is consistent with the axioms of ZFC: Solovay showed in unpublished work that there are Kurepa trees in Gödel's constructible universe (Jech 1971). More precisely, the existence of Kurepa trees follows from the diamond plus principle, which holds in the constructible universe. On the other hand, (txt) showed that if a strongly inaccessible cardinal is Lévy collapsed to $\\omega_2$ then, in the resulting model, there are no Kurepa trees. The existence of an inaccessible cardinal is in fact equiconsistent with the failure of the Kurepa hypothesis, because if the Kurepa hypothesis is false then the cardinal ω\u003csub\u003e2\u003c/sub\u003e is inaccessible in the constructible universe.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "aliases": [
      "kurepa-conjecture",
      "kurepa-family",
      "kurepa-hypothesis",
      "kurepas-hypothesis"
    ],
    "inventory": [
      "G8TRED27VZ"
    ],
    "kind": "concept",
    "name": "Kurepa tree",
    "same_as": {
      "wikidata": "Q5935117",
      "wikipedia": "Kurepa tree"
    },
    "sources": [
      {
        "locator": "Kurepa tree",
        "mention": "wikipedia://en/8267820",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:8267820@r1345895149"
      }
    ],
    "tag": "EW1NAD47PM"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/EW1NAD47PM/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/EW1NAD47PM.md",
  "msc": null,
  "name": "Kurepa tree",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/EW1/EW1NAD47PM.md",
  "status": null,
  "tag": "EW1NAD47PM",
  "uri": "m2://EW1NAD47PM",
  "url": "https://math2.tamnd.com/wiki/kurepa-tree/",
  "writing": {
    "tag": "EW1NAD47PM",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}