Philosophia Mathematica Advance Access originally published online on April 13, 2006
Philosophia Mathematica 2006 14(3):392-394; doi:10.1093/philmat/nkl006
| ||||||||||||||||||||||||||||||||||||||||||||||||||
Philosophia Mathematica (III), Vol. 14 No. 3 © The Author [2006]. Published by Oxford University Press. All rights reserved. For Permissions, please e-mail: journals.permissions@oxfordjournals.org
Book Review |
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).
* Department of Philosophy, University of Waterloo Waterloo, Ontario N2L 3G1 Canada pmarino@watarts.uwaterloo.ca
| The first 10% of the full text of this article appears below. |
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