{
  "id": "nice-name-1851322-b68a78c8d45838c3",
  "slug": "nice-name",
  "title": "Nice name",
  "qid": "Q17047668",
  "lead": "In set theory, a nice name is used in forcing to impose an upper bound on the number of subsets in the generic model. It is used in the context of forcing to prove independence results in set theory such as Easton's theorem.",
  "body": "In set theory, a nice name is used in forcing to impose an upper bound on the number of subsets in the generic model. It is used in the context of forcing to prove independence results in set theory such as Easton's theorem. ==Formal definition== Let M \\models ZFC be transitive, (\\mathbb{P}, a forcing notion in M , and suppose G \\subseteq \\mathbb{P} is generic over M . Then for any \\mathbb{P} -name \\tau in M , we say that \\eta is a nice name for a subset of \\tau if \\eta is a \\mathbb{P} -name satisfying the following properties: (1) \\operatorname{dom}(\\eta) \\subseteq \\operatorname{dom}(\\tau) (2) For all \\mathbb{P} -names \\sigma \\in M , \\{p \\in \\mathbb{P}| \\langle\\sigma, p\\rangle \\in \\eta\\} forms an antichain. (3) (Natural addition): If \\langle\\sigma, p\\rangle \\in \\eta , then there exists q \\geq p in \\mathbb{P} such that \\langle\\sigma, q\\rangle \\in \\tau . ==References==",
  "categories": [
    "20476741",
    "20477507",
    "23468805"
  ],
  "license": "CC BY-SA 4.0",
  "source_uri": "https://en.wikipedia.org/w/index.php?oldid=1211748945",
  "content_hash": "b68a78c8d45838c3b7b6f4ce9e2dda9f92cd515944b950bf4f747c01668680f3",
  "created_at": 1792316710.4224806,
  "updated_at": 1709529823.0,
  "claims": [],
  "contradictions": [],
  "confidence": 0.6,
  "csl": {
    "id": "nice-name-1851322-b68a78c8d45838c3",
    "type": "webpage",
    "title": "Nice name",
    "author": [
      {
        "family": "Anticloud FZ LLE",
        "literal": "Anticloud FZ LLE"
      }
    ],
    "container-title": "encyclopegia.org",
    "publisher": "Anticloud FZ LLE",
    "publisher-place": "Dubai, United Arab Emirates",
    "URL": "https://encyclopegia.org/a/nice-name",
    "issued": {
      "date-parts": [
        [
          2026,
          10,
          18
        ]
      ]
    },
    "accessed": {
      "date-parts": [
        [
          2026,
          11,
          15
        ]
      ]
    },
    "license": "CC BY-SA 4.0",
    "DOI": "eo1:nice-name-1851322-b68a78c8d45838c3",
    "isBasedOn": "https://en.wikipedia.org/w/index.php?oldid=1211748945",
    "note": "Immutable snapshot nice-name-1851322-b68a78c8d45838c3, content root b68a78c8d45838c3…"
  }
}