Set theory : Boolean-valued models and independence proofs
This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,. It provides an exposition of some of the most important results in set theory obtained in the 20th century: the independence of the continuum hypo...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford:
Oxford,
2005.
|
| Edition: | 3ra edición |
| Series: | Oxford Logic Guides;
v. 47 |
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- Boolean and heyting algebras: the essentials
- Boolean-valued models of set theory: first steps
- Forcing and some independence proofs
- Group actions on v[sup(B)] and the independence of the axiom of choice
- Generic ultrafilters and transitive models of ZFC
- Cardinal collapsing, boolean isomorphism, and applications to the theory of boolean algebras
- Iterated boolean extensions, Martin's axiom, and Souslin's hypothesis
- Boolean-valued analysis
- Intuitionistic set theory and heyting-algebra-valued models