A beginner's guide to forcing

@article{Chow2007ABG,
  title={A beginner's guide to forcing},
  author={T. Y. Chow},
  journal={arXiv: Logic},
  year={2007}
}
  • T. Y. Chow
  • Published 2007
  • Mathematics
  • arXiv: Logic
  • 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. 

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 26 REFERENCES
    Forcing in proof theory
    28
    Set Theory And The Continuum Problem
    50
    A proof of the independence of the continuum hypothesis
    • D. Scott
    • Computer Science, Mathematics
    • 2005
    34
    Set theory - an introduction to independence proofs
    • K. Kunen
    • Mathematics, Computer Science
    • 1983
    1270
    A Tour Through Mathematical Logic
    7
    Analytic Number Theory
    39
    Set Theory: Boolean-Valued Models and Independence Proofs
    42
    Bounded arithmetic, propositional logic, and complexity theory
    405