Forcing is a method first used to prove the continuum hypothesis is independent of the classical axioms of set theory, by Paul Cohen in 1963. Since then it been widely used for independence results in fields such as infinitary combinatorics, measure theory, and recursion theory.

history | show excerpt | excerpt history