Set Theory: Boolean-Valued Models and Independence Proofs by John L. Bell

Set Theory: Boolean-Valued Models and Independence Proofs

byJohn L. Bell

Paperback | June 26, 2011

not yet rated|write a review

Pricing and Purchase Info


Earn 190 plum® points

Ships within 1-3 weeks

Ships free on orders over $25

Not available in stores


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 continuumhypothesis and the axiom of choice. Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science, the third edition has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory. It coversrecent developments in the field and contains numerous exercises, along with updated and increased coverage of the background material. This new paperback edition includes additional corrections and, for the first time, will make this landmark text accessible to students in logic and settheory.

About The Author

John L. Bell is a member of the editorial boards of the journals Axiomathes and Philosophia Mathematica. He is Professor of Philosophy at the University of Western Ontario and a Fellow of the Royal Society of Canada.

Details & Specs

Title:Set Theory: Boolean-Valued Models and Independence ProofsFormat:PaperbackDimensions:216 pages, 9.21 × 6.14 × 0.03 inPublished:June 26, 2011Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0199609160

ISBN - 13:9780199609161

Look for similar items by category:

Customer Reviews of Set Theory: Boolean-Valued Models and Independence Proofs


Extra Content

Table of Contents

Dana Scott: ForwardPrefaceList of ProblemsBoolean and Heyting Algebras: The Essentials1. Boolean-Valued Models of Set Theory: First Steps2. Forcing and Some Independence Proofs3. Group Actions on V(B) and the Independence of the Axiom of Choice4. Generic Ultrafilters and Transitive Models of ZFC5. Cardinal Collapsing, Boolean Isomorphism, and Applications to the Theory of Boolean Algebras6. Iterated Boolean Extensions, Matrin's Axiom, and Souslin's Hypothesis7. Boolean-Valued Analysis8. Intuitionistic Set Theory and Heyting-Algebra-Valued ModelsAppendix: Boolean and Heyting Algebra-Valued Models as CategoriesHistorical NotesBibliographyIndex of SymbolsIndex of Terms