Jump to ContentJump to Main Navigation
Set Theory – Boolean-Valued Models and Independence Proofs - Oxford Scholarship Online
Users without a subscription are not able to see the full content.

Set Theory: Boolean-Valued Models and Independence Proofs

John L. Bell


This is the third edition of a well-known graduate textbook on Boolean-valued models of set theory. The aim of the first and second editions was to provide a systematic and adequately motivated exposition of the theory of Boolean-valued models as developed by Scott and Solovay in the 1960s, deriving along the way the central set theoretic independence proofs of Cohen and others in the particularly elegant form that the Boolean-valued approach enables them to assume. In this edition, the background material has been augmented to include an introduction to Heyting algebras. It includes chapters ... More

Keywords: lattice, Boolean algebra, Heyting algebra, Boolean-valued model, continuum hypothesis, ultrailter, axiom of choice, forcing, generic, category

Bibliographic Information

Print publication date: 2005 Print ISBN-13: 9780198568520
Published to Oxford Scholarship Online: September 2007 DOI:10.1093/acprof:oso/9780198568520.001.0001


Affiliations are at time of print publication.

John L. Bell, author
Professor of Philosophy, University of Western Ontario