Toposes and Local Set Theories by J L Bell
In recent years category theory has come to play a significant role in the foundations of mathematics. The invention by Lawvere and Tierney of the concept of (elementary) "topos" may be considered one of the most striking developments in this regard. This concept unites, in a simple way, a number of seemingly diverse notions from algebraic geometry, set theory and intuitionistic logic and has led to the forging of new links between classical and constructive mathematics. This book is an introduction to what may be termed the logical approach to topos theory, that is, the presentation of toposes as the models of theories - the so-called "local set theories" - formulated within a typed intuitionistic logic.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 | 9780198532743 |
| ISBN 10 | 0198532741 |
| Title | Toposes and Local Set Theories |
| Author | J L Bell |
| Series | Oxford Logic Guides |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Oxford University Press |
| Year published | 1988-09-01 |
| Number of pages | 286 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |