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.
New to topics? Read the docs here!