Set Theory: Boolean-Valued Models and Independence Proofs
Graduate studies at Western
OUP Oxford (2011)
|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. Aimed at graduate students and researchers in mathematics, mathematical logic, philosophy, and computer science, the third edition has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory. It covers recent developments in the field and contains numerous exercises, along with updated and increased coverage of the background material. This new paperback edition includes additional corrections and, for the first time, will make this landmark text accessible to students in logic and set theory.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
Patricia Marino (2006). 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] Philosophia Mathematica 14 (3):392-394.
Lars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Friedrich Wehrung (1993). Boolean Universes Above Boolean Models. Journal of Symbolic Logic 58 (4):1219-1250.
Jan Krajíček (1995). Bounded Arithmetic, Propositional Logic, and Complexity Theory. Cambridge University Press.
Daniel J. Velleman (2006). How to Prove It: A Structured Approach. Cambridge University Press.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
Elliott Mendelson (1956). Some Proofs of Independence in Axiomatic Set Theory. Journal of Symbolic Logic 21 (3):291-303.
Steve Awodey (2010). Category Theory. OUP Oxford.
Helena Rasiowa (1994). Axiomatization and Completeness of Uncountably Valued Approximation Logic. Studia Logica 53 (1):137 - 160.
Richard Pettigrew (2010). The Foundations of Arithmetic in Finite Bounded Zermelo Set Theory. Cahiers du Centre de Logique 17:99-118.
Sorry, there are not enough data points to plot this chart.
Added to index2012-01-31
Recent downloads (6 months)0
How can I increase my downloads?