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

Bell, J. L.

  • 3.83 out of 5 stars
    6 ratings by Goodreads
 
9780198532743: Toposes and Local Set Theories: An Introduction (Oxford Logic Guides)
Hardcover
ISBN 10: 0198532741 ISBN 13: 9780198532743
Publisher: Oxford University Press, 1988

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.

Publisher
Oxford University Press
Publication date
1988
Language
English
ISBN 10 
0198532741
ISBN 13 
9780198532743
Binding
Hardcover
Number of pages
286
Rating
  • 3.83 out of 5 stars
    6 ratings by Goodreads

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, 2008
Softcover