The discovery of forcing.

DOI10.1216/RMJM/1181070010zbMath1040.03037OpenAlexW2142087589MaRDI QIDQ1414982

Paul Joseph Cohen

Publication date: 3 December 2003

Published in: Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: http://math.la.asu.edu/~rmmc/rmj/Vol32-4/CONT32-4/CONT32-4.html

zbMATH Keywords

independenceforcingcontinuum hypothesisSkolem-Löwenheim theorem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) History of mathematical logic and foundations (03-03)

Related Items (4)

The formal verification of the ctm approach to forcing ⋮ Paul Cohen and forcing in 1963 ⋮ Cohen and Set Theory ⋮ A Computational Interpretation of Forcing in Type Theory

Cites Work

• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
• Unnamed Item

This page was built for publication: The discovery of forcing.