Axiomatic Set Theory
This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen's forcing, and Scott-Solovay's method of Boolean valued models. Our main concern will be the development of a unified theory that encompasses these technique...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer New York
1973, 1973
|
| Edition: | 1st ed. 1973 |
| Series: | Graduate Texts in Mathematics
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1. Boolean Algebra
- 2. Generic Sets
- 3. Boolean ?-Algebras
- 4. Distributive Laws
- 5. Partial Order Structures and Topological Spaces
- 6. Boolean-Valued Structures
- 7. Relative Constructibility
- 8. Relative Constructibility and Ramified Languages
- 9. Boolean-Valued Relative Constructibility
- 10. Forcing
- 11. The Independence of V = L and the CH
- 12. independence of the AC
- 13. Boolean-Valued Set Theory
- 14. Another Interpretation of V(B)
- 15. An Elementary Embedding of V[F0] in V(B)
- 16. The Maximum Principle
- 17. Cardinals in V(B)
- 18. Model Theoretic Consequences of the Distributive Laws
- 19. Independence Results Using the Models V(B)
- 20. Weak Distributive Laws
- 21. A Proof of Marczewski’s Theorem
- 22. The Completion of a Boolean Algebra
- 23. Boolean Algebras that are not Sets
- 24. Easton’s Model
- Problem List
- Index of Symbols