You are here

Home » » Set Theory: Boolean-Valued Models and Independence Proofs

Set Theory: Boolean-Valued Models and Independence Proofs

John L. Bell
Publisher: 
Oxford University Press
Publication Date: 
2005
Number of Pages: 
191
Format: 
Hardcover
Edition: 
3
Series: 
Oxford Logic Guides 47
Price: 
149.50
ISBN: 
0-19-856852-5
Category: 
Monograph
We do not plan to review this book.

Foreword, Dana Scott
Preface
List of Problems
Boolean and Heyting Algebras: The Essentials
1. Boolean-Valued Models: First Steps
2. Forcing and Some Independece Proofs
3. Group Actions on V(B) and the Independence of the Axiom of Choice
4. Generic Ultrafilters and Transitive Models of ZFC
5. Cardinal Collapsing, Boolean Isomorphism and Applications to the Theory of Boolean Algebras
6. Iterated Boolean Extensions, Martin's Axiom and Souslin's Hypothesis
7. Boolean-Valued Analysis
8. Intuitionistic Set Theory and Heyting-Algebra-Valued Models
Appendix. Boolean- and Heyting-Algebra-Valued Models as Categories
Historical Notes
Bibliography
Index of Symbols
Index of Terms
Tags: 
Set Theory
Model Theory
Logic