Also known as unramified forcing
in set theory, a technique for enlarging models of axioms of set theory (e.g. ZFC) by adjoining new elements, often used for proving consistency and independence results
Wikidata facts
- Part of
- set theory
Show 4 more facts
- maintained by WikiProject
- WikiProject Mathematics
- discoverer or inventor
- Paul Cohen
- topic's main category
- Category:Forcing (mathematics)
- Stack Exchange tag
- mathoverflow.net/tags/forcing
Sources (3)
via Wikidata · CC0