Book contents
- Frontmatter
- Contents
- Preface
- Part I Introduction to set theory
- Appendix. An axiomatic development of set theory
- Introduction
- A1 The Zermelo–Fraenkel axiom system of set theory
- A2 Definition of concepts; extension of the language
- A3 A sketch of the development. Metatheorems
- A4 A sketch of the development. Definitions of simple operations and properties (continued)
- A5 A sketch of the development. Basic theorems, the introduction of ω and ℝ (continued)
- A6 The ZFC axiom system. A weakening of the Axiom of Choice. Remarks on the theorems of Sections 2–7
- A7 The role of the Axiom of Regularity
- A8 Proofs of relative consistency. The method of interpretation
- A9 Proofs of relative consistency. The method of models
- Part II Topics in combinatorial set theory
- Bibliography
- List of symbols
- Name index
- Subject index
A3 - A sketch of the development. Metatheorems
Published online by Cambridge University Press: 10 May 2010
Translated by
Book contents
- Frontmatter
- Contents
- Preface
- Part I Introduction to set theory
- Appendix. An axiomatic development of set theory
- Introduction
- A1 The Zermelo–Fraenkel axiom system of set theory
- A2 Definition of concepts; extension of the language
- A3 A sketch of the development. Metatheorems
- A4 A sketch of the development. Definitions of simple operations and properties (continued)
- A5 A sketch of the development. Basic theorems, the introduction of ω and ℝ (continued)
- A6 The ZFC axiom system. A weakening of the Axiom of Choice. Remarks on the theorems of Sections 2–7
- A7 The role of the Axiom of Regularity
- A8 Proofs of relative consistency. The method of interpretation
- A9 Proofs of relative consistency. The method of models
- Part II Topics in combinatorial set theory
- Bibliography
- List of symbols
- Name index
- Subject index
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Set Theory , pp. 117 - 121Publisher: Cambridge University PressPrint publication year: 1999