Set Theory —— Boolean-Valued Models and Independence Proofs

----- 集合论：布尔值模型和独立性的证明

ISBN: 9780199609161 出版年：2007 页码：214 Bell, John L Oxford University Press

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