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) [Book Review]
Philosophia Mathematica 14 (3):392-394 (2006)
Abstract
This is the third edition of a book originally published in the 1970s; it provides a systematic and nicely organized presentation of the elegant method of using Boolean-valued models to prove independence results. Four things are new in the third edition: background material on Heyting algebras, a chapter on ‘Boolean-valued analysis’, one on using Heyting algebras to understand intuitionistic set theory, and an appendix explaining how Boolean and Heyting algebras look from the perspective of category theory. The book presents results from a number of set theorists and includes an insightful and informative foreword by Dana Scott. Bell's presentation is lively and pleasant to read, and the material is given in a nicely cohesive way.One obvious reason to be interested in independence proofs is that they concern the important question, what is the set-theoretic hierarchy like? The proofs in Bell's book cover some of the most basic and fundamental independence results, such as those concerning the size of the continuum, the independence of the Axiom of Choice from ZF, cardinal collapsing, Souslin's hypothesis, and Martin's Axiom.Since Gödel's incompleteness theorem, it has been known that for any serious candidate list of set-theoretic axioms, there will be statements neither provable nor disprovable from those axioms. What is really interesting, however, and what the independence proofs discussed here show, is how many of the most natural questions about sets are not decided by the standard axioms of ZFC, and how …Author's Profile
DOI
10.1093/philmat/nkl006
My notes
Similar books and articles
M. Sim (ed.): The Crossroads of Norm and Nature: Essays on Aristotle’s_ Ethics _and Metaphysics. Pp. xxii + 343. Lanham: Rowman & Littlefield, 1995. Cased, $55.00 (Paper, $21.95). ISBN: 0-8476- 7939-X (0-8476-7982-9 pbk). - G. Freudenthal: Aristotle’s Theory of Material Substance: Heat and Pneuma, Form and Soul. Pp. xii + 235. Oxford: Clarendon Press, 1995. Cased, £30. ISBN: 0-19-824093-7. [REVIEW]Lucas Siorvanes - 2000 - The Classical Review 50 (02):626-.
John Leslie infinite minds (clarendon press: Oxford, 2001). Pp. X+234. £27.50 (hbk), £14.99 (pbk). ISBN 0 19 924892 3 (hbk), 0 19 924893 1 (pbk). [REVIEW]Neil A. Manson - 2004 - Religious Studies 40 (4):499-502.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Frege's Theory of Judgement By David Bell Oxford: Clarendon Press: Oxford University Press, 1979, 165 pp., £8.50. [REVIEW]Leslie Stevenson - 1980 - Philosophy 55 (212):277-278.
Hallett (C.H.) The Roman Nude. Heroic Portrait Statuary 200 B.C. – A.D. 300. Pp. xxii + 391, ills. Oxford: Oxford University Press, 2005. Cased, £80. ISBN: 978-0-19-924049-. [REVIEW]Peter Stewart - 2007 - The Classical Review 57 (01):221-.
A Euripidean Collection J. Mossman (ed.): Euripides . (Oxford Readings in Classical Studies.) Pp. viii + 411. Oxford: Oxford University Press, 2003. Cased, £60 (Paper, £20.99). ISBN: 0-19-872185-4 (0-19-872184-6 pbk). [REVIEW]John Davidson - 2005 - The Classical Review 55 (02):414-.
Deirdre Carabine John scottus eriugena. (New york/oxford: Oxford university press, 2000). Pp. XI + 131. £12·50 (pbk). ISBN 0 19 511362. [REVIEW]S. F. - 2000 - Religious Studies 36 (4):505-507.
Analytics
Added to PP
2009-01-28
Downloads
32 (#366,700)
6 months
2 (#296,374)
2009-01-28
Downloads
32 (#366,700)
6 months
2 (#296,374)
Historical graph of downloads