Forcing
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.
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
