A beginner's guide to forcing

MaRDI QIDQ3620813zbMATH OpenFDO

Authors Timothy Y. Chow

Publication date 14 April 2009

Full work available at URL https://arxiv.org/abs/0712.1320

zbMATH Keywords

Boolean-valued modelsforcingindependence results

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40)

Abstract: This expository paper, aimed at the reader without much background in set theory or logic, gives an overview of Cohen's proof (via forcing) of the independence of the continuum hypothesis. It emphasizes the broad outlines and the intuitive motivation while omitting most of the proofs. The reader must of course consult standard textbooks for the missing details, but this article provides a map of the forest so that the beginner will not get lost while forging through the trees.

Recommendations

• Forcing for mathematicians
• scientific article; zbMATH DE number 4068858
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• The discovery of forcing.
• Fast Track to Forcing

Cited in

(11)

• Iterated admissibility through forcing in strategic belief models
• First steps towards a formalization of forcing
• scientific article; zbMATH DE number 2184445 (Why is no real title available?)
• scientific article; zbMATH DE number 426195 (Why is no real title available?)
• scientific article; zbMATH DE number 4068858 (Why is no real title available?)
• Forcing in Proof Theory
• A constructive exposition on simple forcings and countable forcings
• Forcing for mathematicians
• Interview With a Set Theorist
• Deus ex machina and the aesthetics of proof
• The forcing method in set theory. An introduction via Boolean valued logic

This page was built for publication: A beginner's guide to forcing

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