{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "3N80SFETC5"
    },
    {
      "field": "uses",
      "target": "EMGBZ46GCD"
    },
    {
      "field": "defines",
      "target": "QGNCCJ125J"
    }
  ],
  "body": "\n## Summary\n\nA generic filter is a filter in a [[partial order|0QV2JS9RJ3]] that meets every dense subset belonging to a given model.\nIt is the new object that the method of forcing adds to the model.\nBecause it meets every dense set of the model, it has every property that the model can see as typical.\nIn nontrivial cases it cannot be an element of the model.\nWhen the model is countable, generic filters exist by the Rasiowa–Sikorski lemma.\n\n## Explanations\n\n### L1 human\n\nThink of the elements of the partial order as finite pieces of information about an unknown object.\nA filter is a consistent collection of such pieces.\nA dense set is a requirement that can always be met by adding more information.\nA generic filter meets all the requirements that the old model can write down.\nFor example, in a generic sequence of zeros and ones, every finite pattern appears, because \"the pattern appears\" is a requirement that can always be met.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "03E40"
    ],
    "name": "Generic filter",
    "same_as": {
      "wikidata": "Q5532675",
      "wikipedia": "Generic filter"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Generic_filter"
      }
    ],
    "tag": "WEDP73Y7GK"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/WEDP73Y7GK/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/WEDP73Y7GK.md",
  "msc": [
    "03E40"
  ],
  "name": "Generic filter",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/WED/WEDP73Y7GK.md",
  "status": null,
  "tag": "WEDP73Y7GK",
  "uri": "m2://WEDP73Y7GK",
  "url": "https://math2.tamnd.com/wiki/generic-filter/",
  "writing": {
    "tag": "WEDP73Y7GK",
    "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
      }
    ]
  }
}