{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "3N80SFETC5"
    },
    {
      "field": "about",
      "target": "EMGBZ46GCD"
    },
    {
      "field": "uses",
      "target": "EMGBZ46GCD"
    },
    {
      "field": "uses",
      "target": "KJT0AXWQXP"
    },
    {
      "field": "uses",
      "target": "WQ967Q2XJD"
    }
  ],
  "body": "\n## Summary\n\nForcing is a method to build new models of set theory by adding a new set to a given model.\nOne starts from a model $M$ of ZFC and a [[partial order|0QV2JS9RJ3]] in $M$, whose elements are approximations of the new set.\nA [[generic filter|WEDP73Y7GK]] $G$ over $M$ collects compatible approximations, and the extension $M[G]$ is the smallest transitive model of ZFC that contains $M$ and $G$.\nPaul Cohen introduced forcing to prove that the [[continuum hypothesis|0MN2MER9WN]] cannot be proved in ZFC, and it is now the main tool for independence proofs.\n\n## Explanations\n\n### L1 human\n\nForcing adds a new object to a universe of sets, such as a new real number that was not there before.\nThe new object is described by its finite pieces of information, called conditions.\nFor a new real, a condition says what finitely many of its binary digits are.\nA generic choice of conditions avoids every pattern that the old universe can describe, so the real it defines is truly new.\nFacts about the new universe are decided by single conditions, and this is how one controls what is true there.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03E40",
      "03E35"
    ],
    "name": "Forcing",
    "same_as": {
      "wikidata": "Q1003136",
      "wikipedia": "Forcing (mathematics)"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Forcing_(mathematics)"
      }
    ],
    "tag": "F2DTWW9HP7"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/F2DTWW9HP7/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/F2DTWW9HP7.md",
  "msc": [
    "03E40",
    "03E35"
  ],
  "name": "Forcing",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/F2D/F2DTWW9HP7.md",
  "status": null,
  "tag": "F2DTWW9HP7",
  "uri": "m2://F2DTWW9HP7",
  "url": "https://math2.tamnd.com/wiki/forcing/",
  "writing": {
    "tag": "F2DTWW9HP7",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}