Set Theory: Boolean-Valued Models and Independence Proofs

Front Cover
Clarendon Press, May 12, 2005 - Philosophy - 216 pages
This monograph is a follow up to the author's classic text Boolean-Valued Models and Independence Proofs in Set Theory, providing an exposition of some of the most important results in set theory obtained in the 20th century--the independence of the continuum hypothesis and the axiom of choice. Aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science, the text has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory, and includes recent developments in the field. Numerous exercises, along with the enlarged and entirely updated background material, make this an ideal text for students in logic and set theory.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

THE ESSENTIALS
FIRST STEPS
2FORCING AND SOME INDEPENDENCE PROOFS
3GROUP ACTIONS ON VB AND THE INDEPENDENCE OF THE AXIOM OF CHOICE
4 GENERIC ULTRAFILTERS AND TRANSITIVE MODELS OF ZFC
5CARDINAL COLLAPSING BOOLEAN ISOMORPHISM AND APPLICATIONS TO THE THEORY OF BOOLEAN ALGEBRAS
6ITERATED BOOLEAN EXTENSIONS MARTINS AXIOM AND SOUSLINS HYPOTHESIS
7 BOOLEANVALUED ANALYSIS
8 INTUITIONISTIC SET THEORY ANDHEYTINGALGEBRAVALUED MODELS
APPENDIX BOOLEAN AND HEYTING ALGEBRAVALUED MODELS AS CATEGORIES
HISTORICAL NOTES
BIBLIOGRAPHY
INDEX OF SYMBOLS
INDEX

Other editions - View all

Common terms and phrases

Bibliographic information