Iterated forcing (source code)

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