Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Toposes and Local Set Theories: An Introduction: 14...
Stock Image
Toposes and Local Set Theories: An Introduction (Oxford Logic Guides)
Published by
Oxford University Press, 1988
ISBN 10: 0198532741
ISBN 13: 9780198532743
Used
Hardcover
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR008079911
Buy Used
£ 36.14
£ 5.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Toposes and Local Set Theories: An Introduction (Oxford Logic Guides)
Published by
Oxford University Press, 1988
ISBN 10: 0198532741
ISBN 13: 9780198532743
Used
Hardcover
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0198532741.G
Seller Image
Toposes and local set theories an introduction. Oxford logic guides 14.
Published by
Oxford, Clarendon Press, 1988
ISBN 10: 0198532741
ISBN 13: 9780198532743
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 BEL 9780198532743 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2502773
Seller Image
Toposes and local set theories an introduction J.L. Bell. Oxford logic guides 14.
Published by
Oxford, Clarendon Press, 1988
ISBN 10: 0198532741
ISBN 13: 9780198532743
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 BEL 9780198532743 Sprache: Englisch Gewicht in Gramm: 1150. Seller Inventory # 2508816