Toposes and Local Set Theories: An Introduction: 14 (Oxford Logic Guides) - Hardcover

Bell, J. L.

 
9780198532743: Toposes and Local Set Theories: An Introduction: 14 (Oxford Logic Guides)
Hardcover
ISBN 10: 0198532741 ISBN 13: 9780198532743
Publisher: Clarendon Press, 1988

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.

Publisher
Clarendon Press
Publication date
1988
Language
English
ISBN 10 
0198532741
ISBN 13 
9780198532743
Binding
Hardcover
Number of pages
286

Other Popular Editions of the Same Title

9780486462868: Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics)

Featured Edition

ISBN 10:  0486462862 ISBN 13:  9780486462868
Publisher: Dover Publications Inc., 2008
Softcover