Book:Paul J. Cohen/Set Theory and the Continuum Hypothesis/Republished Edition

From ProofWiki
Jump to: navigation, search

Paul J. Cohen: Set Theory and the Continuum Hypothesis (Republished Edition)

Published $2008$, Dover Publications

ISBN 0-486-46921-2.

Subject Matter


Foreword (Charles Cohen: October 2008)
Introduction to the Dover Edition (Martin Davis, Berkeley, California, July 2008)
Horizons of Truth: My interaction with Kurt Gödel: The man and his work (2006)

Chapter I. General Background in Logic
1. Introduction
2. Formal Languages
3. Universally Valid Statements
4. Gödel Completeness Theorem
5. The Löwenheim-Skolem Theorem
6. Examples of Formal Systems
7. Primitive Recursive Functions
8. General Recursive Functions
9. Gödel Incompleteness Theorem
10. Generalized Incompleteness Theorem
11. Further Results in Recursive Functions
Chapter II. Zermelo-Fraenkel Set Theory
1. Axioms
2. Discussion of the Axioms
3. Ordinal Numbers
4. Cardinal Numbers
5. The Axiom of Regularity
6. The System of Gödel-Bernays
7. Higher Axioms and Models for Set Theory
8. Löwenheim-Skolem Theorem Revisited
Chapter III. The Consistency of the Continuum Hypothesis and the Axiom of Choice
1. Introduction
2. Proof of Theorem 1
3. Absoluteness
4. Proof of AC and GCH in L
5. Relations with GB
6. The Minimal Model
Chapter IV. The Independence of the Continuum Hypothesis and the Axiom of Choice
1. Introduction
2. Intuitive Motivation
3. The Forcing Concept
4. The Main Lemmas
5. The Definability of Forcing
6. The Model N
7. The General Forcing Concept
8. The Continuum Hypothesis
9. The Axiom of Choice
10. Changing Cardinalities
11. Avoiding SM
12. GCH Implies AC
13. Conclusion