Journals Higher Education
Important OUP's Response to COVID-19 Learn more



Published: 05 May 2011

216 Pages | 23 black and white illustrations


ISBN: 9780199609161

Also Available As:


Also Available In:

Bookseller Code (AE)

Set Theory

Boolean-Valued Models and Independence Proofs

Third Edition

John L. Bell

Oxford Logic Guides

  • A clear exposition of independence proofs in set theory presented in its most elegant form—Boolean-valued models
  • With a foreword by Dana Scott—an illuminating historical account by one of the creators of the subject
  • Paperback edition of a well-respected, classic monograph
  • Third edition contains expanded background material on topics including Boolean-valued analysis, Heyting-algebra valued models of intuitionistic set theory, and category theory.
  • Numerous exercises, along with the enlarged and entirely updated background material, make this an ideal text for students in logic and set theory

Also of Interest