scientific article; zbMATH DE number 4068858

MaRDI QIDQ3801543zbMATH OpenFDO

Authors Gregory H. Moore

Publication date 1988

zbMATH Keywords

Gödelorigins and early development of Cohen's method of forcingSolovay

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Consistency and independence results (03E35)

Recommendations

• Forcing revisited
• The discovery of forcing.
• The definitional side of the forcing
• A beginner's guide to forcing
• More on proper forcing
• Some applications of the method of forcing
• A dichotomy for forcing notions
• Proper forcing
• First steps towards a formalization of forcing

Cited in

(9)

• The discovery of forcing.
• Levy and set theory
• Early history of the generalized continuum hypothesis: 1878--1938
• A beginner's guide to forcing
• Historical roots of the rule of composition of forces
• Validating Brouwer's continuity principle for numbers using named exceptions
• Forcing revisited
• Paul Cohen and forcing in 1963
• Origins of an obsession

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3801543)