Set Theory: Boolean-Valued Models and Independence Proofs
John Bell · 2011
Foreword Preface List of Problems 0. 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