Set Theory: Boolean-Valued Models and Independence Proofs

Oxford University Press (2011)
  Copy   BIBTEX

Abstract

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 continuum hypothesis and the axiom of choice.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,264

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Boolean universes above Boolean models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.
Notes on Logic and Set Theory.P. T. Johnstone - 1987 - Cambridge University Press.
Some proofs of independence in axiomatic set theory.Elliott Mendelson - 1956 - Journal of Symbolic Logic 21 (3):291-303.
Category Theory.Steve Awodey - 2006 - Oxford, England: Oxford University Press.

Analytics

Added to PP
2012-01-31

Downloads
12 (#805,569)

6 months
1 (#449,844)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Transfinite cardinals in paraconsistent set theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
Non-classical Models of ZF.S. Jockwich Martinez & G. Venturi - 2021 - Studia Logica 109 (3):509-537.
The axiom of choice.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references