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.

Categories

Keywords

Reprint years

ISBN(s)

9780199609161   0199609160   0198568525
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

External links

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

Through your library

My notes

Similar books and articles

John L. BELL. Set theory: Boolean-valued models and independence proofs. Oxford: Clarendon press, 2005. Oxford logic guides, no. 47. pp. XXII + 191. ISBN 0-19-856852-5, 987-0-19-856852-0 (pbk). [REVIEW]Patricia Marino - 2006 - Philosophia Mathematica 14 (3):392-394.
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.
Bounded arithmetic, propositional logic, and complexity theory.Jan Krajíček - 1995 - New York, NY, USA: Cambridge University Press.
How to prove it: a structured approach.Daniel J. Velleman - 1994 - Cambridge ; New York: Cambridge University Press.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
Cover schemes, frame-valued sets and their potential uses in spacetime physics.John Bell - manuscript
A concise introduction to mathematical logic.Wolfgang Rautenberg - 2006 - New York, NY: Springer.
The mathematics of logic: a guide to completeness theorems and their applications.Richard Kaye - 2007 - New York: Cambridge University Press.
An introduction to mathematical logic and type theory: to truth through proof.Peter Bruce Andrews - 1986 - Boston: Kluwer Academic Publishers.
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.
Axiomatization and completeness of uncountably valued approximation logic.Helena Rasiowa - 1994 - Studia Logica 53 (1):137 - 160.
The foundations of arithmetic in finite bounded Zermelo set theory.Richard Pettigrew - 2010 - Cahiers du Centre de Logique 17:99-118.

Analytics

Added to PP
2012-01-31

Downloads
22 (#712,478)

6 months
5 (#647,370)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.
Non-classical Models of ZF.S. Jockwich Martinez & G. Venturi - 2020 - Studia Logica 109 (3):509-537.
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.
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