Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Dover Books on Mathematics
Title Page
Copyright Page
Foreword
Introduction to the Dover Edition
My interaction with Kurt Gödel: The man and his work
Preface
Table of Contents
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 l
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. 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
References
← Prev
Back
Next →
← Prev
Back
Next →