= Iterated forcing
{wiki=Iterated_forcing}
Iterated forcing is a method in set theory and mathematical logic used to construct models of set theory with certain desired properties. It is a refinement and extension of the basic notion of forcing, which was introduced by Paul Cohen in the 1960s. Forcing is a technique used to prove the independence of certain set-theoretic statements from Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC). \#\#\# Basic Concepts of Forcing 1.
Back to article page