Intuitionistic Set Theory by John L Bell
While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in part because, as a form of higher-order intuitionistic logic - the internal logic of a topos - IST has been chiefly developed in a tops-theoretic context. In particular, proofs of relative consistency with IST for mathematical assertions have been (implicitly) formulated in topos- or sheaf-theoretic terms, rather than in the framework of Heyting-algebra-valued models, the natural extension to IST of the well-known Boolean-valued models for classical set theory. In this book I offer a brief but systematic introduction to IST which develops the subject up to and including the use of Heyting-algebra-valued models in relative consistency proofs. I believe that IST, presented as it is in the familiar language of set theory, will appeal particularly to those logicians, mathematicians and philosophers who are unacquainted with the methods of topos theory.
John L. Bell has been Professor of Philosophy and Adjunct Professor of Mathematics at the University of Western Ontario since 1989. From 1968-89 he was Lecturer and Senior Lecturer in Mathematics, and Reader in Mathematical Logic, at the London School of Economics. In 1975 he was a Visiting Fellow at the Polish Academy of Sciences, and in 1980 and 1982 at the Mathematics Department of the National University of Singapore. In 1991 he was a Visiting Professor at the Department of Mathematics of the University of Padova, and in 2007 he was a Visiting Directeur de Recherche, CNRS at the Ecole Polytechnique, Paris. In 2009 he was elected a Fellow of the Royal Society of Canada. In 2011 his biography appeared in Canadian Who's Who. That same year saw the publication by Springer of his Festschrift Vintage Enthusiasms: Essays in Honour of John L. Bell.
He is a member of the Editorial Boards of Philosophia Mathematica, Axiomathes, and the Western Ontario Series in Philosophy of Science.
He has published 11 books and more than 70 papers. The books are with such presses as Oxford, Cambridge, Springer, and North-Holland: five of these books are in second, third, or fourth printings or editions; two of them have been republished by Dover. They include titles on model theory, mathematical logic, Boolean-valued models of set theory, topos theory, smooth infinitesimal analysis, the axiom of choice, the evolution of mathematical concepts, the continuous and the infinitesimal, intuitionistic set theory, and oppositions and paradoxes His technical papers include titles on model theory, set theory, first and second-order logic, infinitary languages, large cardinals, incompleteness, Hilbert's epsilon calculus, the axiom of choice, Zorn's lemma, Boolean algebras, lattice theory, category and topos theory, type theory, constructive mathematics, quantum logic, and space-time theory, His work of a more philosophical nature includes papers on category theory in the foundations of mathematics, quantum logic and empiricism, mereology in mathematics, the concept of the infinitesimal, the nature of elementary propositions, the cohesiveness of the continuum, sets and classes as many, the philosophical outlook of Hermann Weyl, Russell's paradox, the nature of cosmological theories, the infinity of the past and aesthetics in mathematics.
| SKU | Unavailable |
| ISBN 13 | 9781848901407 |
| ISBN 10 | 1848901402 |
| Title | Intuitionistic Set Theory |
| Author | John L Bell |
| Series | Studies In Logic |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | College Publications |
| Year published | 2014-02-28 |
| Number of pages | 134 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |