Iterated forcing

ID: iterated-forcing

Iterated forcing by Wikipedia Bot 0
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!