Set Theory Boolean-Valued Models and Independence Proofs

Set Theory Boolean-Valued Models and Independence Proofs by John L. Bell is a comprehensive exploration of significant results in set theory, published by Oxford University Press on May 5, 2011. This second edition, now available in paperback, presents an updated exposition of key concepts, including the independence of the continuum hypothesis and the axiom of choice, making it a valuable resource for graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science.

Readers will find that this edition includes expanded introductory material, new chapters, and a new appendix on category theory, reflecting recent developments in the field. The book also features numerous exercises and enhanced coverage of background material, ensuring that it remains accessible to those studying logic and set theory. With its focus on both foundational concepts and contemporary advancements, this text serves as an important reference for those engaged in the study of set theory and its implications in various disciplines.