A technique in set theory invented by P. Cohen (1963, 1964, 1966) and used to prove that the axiom of choice and continuum hypothesis are independent of one another in Zermelo-Fraenkel set theory.
Forcing
See also
Axiom of Choice, Continuum Hypothesis, Set Theory, Zermelo-Fraenkel Set TheoryExplore with Wolfram|Alpha
References
Cohen, P. J. "The Independence of the Continuum Hypothesis." Proc. Nat. Acad. Sci. U. S. A. 50, 1143-1148, 1963.Cohen, P. J. "The Independence of the Continuum Hypothesis. II." Proc. Nat. Acad. Sci. U. S. A. 51, 105-110, 1964.Cohen, P. J. Set Theory and the Continuum Hypothesis. New York: W. A. Benjamin, 1966.Todorchevich, S. and Farah, I. Some Applications of the Method of Forcing. Moscow: Yenisei, 1995.Referenced on Wolfram|Alpha
ForcingCite this as:
Weisstein, Eric W. "Forcing." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Forcing.html