|
|
|
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.
See also Axiom of Choice, Continuum Hypothesis, Set Theory, Zermelo-Fraenkel Set Theory
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.