A beginner's guide to forcing
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2007
- DOI:
- 10.48550/arXiv.0712.1320
- arXiv:
- arXiv:0712.1320
- Bibcode:
- 2007arXiv0712.1320C
- Keywords:
-
- Mathematics - Logic;
- Mathematics - History and Overview;
- 03E35
- E-Print:
- Accepted version (Contemp. Math.)