Items related to Toposes and Local Set Theories: An Introduction (Oxford...
Synopsis
The author introduces Lawvere and Tierney's concept of topos theory, a striking development in category theory that unites a number of important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topos theory has led to the forging of surprising new links between classical and constructive mathematics. Bell presents 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.
- PublisherOxford University Press
- Publication date1988
- ISBN 10 0198532741
- ISBN 13 9780198532743
- BindingHardcover
- LanguageEnglish
- Number of pages286
- Rating
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want