{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nIf [[ZF|0HE5WDQ9FJ]] is consistent, then ZFC together with the negation of the [[continuum hypothesis|0MN2MER9WN]] is consistent.\nTogether with [[Gödel's theorem|Q9176JRJ5M]], it follows that if ZFC is consistent, then the continuum hypothesis is neither provable nor refutable in ZFC.\n\n## Remarks\n\nOne starts from a countable transitive model $M$ of ZFC and uses [[forcing|F2DTWW9HP7]] with the set $P$ of finite partial functions from $\\omega_2^M \\times \\omega$ to $\\set{0, 1}$, ordered by reverse inclusion.\nA [[generic filter|WEDP73Y7GK]] $G$ gives a function from $\\omega_2^M \\times \\omega$ to $\\set{0, 1}$, and so $\\aleph_2^M$ different new reals.\nEvery antichain of $P$ is countable, and this chain condition implies that $M$ and $M[G]$ have the same cardinals.\nSo $M[G] \\models 2^{\\aleph_0} \\ge \\aleph_2$.\nThe existence of a countable transitive model of ZFC does not follow from the consistency of ZFC.\nThe standard way around this uses countable transitive models of large finite fragments of ZFC, or Boolean-valued models.\n\n## Explanations\n\n### L1 human\n\nThe continuum hypothesis asks whether there is a size of infinity between the natural numbers and the real numbers.\nGödel showed that the usual axioms cannot disprove it, and Cohen showed that they cannot prove it either.\nCohen took a universe of sets and added many new real numbers to it, so many that the continuum became larger than the next infinite size.\nSo the usual axioms of set theory leave the question open.\n\n### L2 human\n\nThe proof is the first use of forcing, and its pattern is used in almost all independence proofs.\nThe first key step is to choose a partial order whose generic filter adds the desired objects.\nThe second is to check that the forcing does not collapse cardinals, here by the countable chain condition.\nChanging $\\omega_2$ to other cardinals gives many possible values of $2^{\\aleph_0}$; Easton's theorem describes the possible values of $2^\\kappa$ for all regular $\\kappa$.\nCohen also used forcing to show that the axiom of choice is independent of ZF.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "0MN2MER9WN",
      "F2DTWW9HP7"
    ],
    "kind": "statement",
    "msc": [
      "03E35",
      "03E40",
      "03E50"
    ],
    "name": "Cohen's independence of CH",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Forcing_(mathematics)"
      }
    ],
    "tag": "EMGBZ46GCD",
    "uses": [
      "0HE5WDQ9FJ",
      "0MN2MER9WN",
      "F2DTWW9HP7",
      "WEDP73Y7GK"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/EMGBZ46GCD/",
  "links": [
    {
      "field": "about",
      "target": "0MN2MER9WN"
    },
    {
      "field": "about",
      "target": "F2DTWW9HP7"
    },
    {
      "field": "uses",
      "target": "0HE5WDQ9FJ"
    },
    {
      "field": "uses",
      "target": "0MN2MER9WN"
    },
    {
      "field": "uses",
      "target": "F2DTWW9HP7"
    },
    {
      "field": "uses",
      "target": "WEDP73Y7GK"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/EMGBZ46GCD.md",
  "msc": [
    "03E35",
    "03E40",
    "03E50"
  ],
  "name": "Cohen's independence of CH",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/EMG/EMGBZ46GCD.md",
  "status": null,
  "tag": "EMGBZ46GCD",
  "uri": "m2://EMGBZ46GCD",
  "url": "https://math2.tamnd.com/wiki/cohens-independence-of-ch/",
  "writing": {
    "tag": "EMGBZ46GCD",
    "kind": "statement",
    "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
      }
    ]
  }
}