forcing
Sign in to saveAlso 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
Show 1 more fact
- Stack Exchange tag
- mathoverflow.net/tags/forcing
Sources (3)
via Wikidata · CC0
Connections
countable set
Entity
Paul Cohen
Entity
consistency
Entity
partially ordered set
Entity
transfinite induction
Entity
axiom schema of replacement
Entity
von Neumann universe
Entity
Bertrand Russell
Entity
Pi
Concept
International Standard Book Number
Entity
set theory
Entity
John von Neumann
Entity
set
Entity
axiom
Entity
Georg Cantor
Entity
Kurt Gödel
Entity
digital object identifier
Entity
mathematical logic
Entity
Richard Dedekind
Entity
empty set
Entity