Review: Saunders Mac Lane, Ieke Moerdjik, Sheaves in Geometry and Logic. A First Introduction to Topos Theory [Book Review]

Journal of Symbolic Logic 60 (1):340-342 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275528

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
Derived rules for predicative set theory: an application of sheaves.Benno van den Berg & Ieke Moerdijk - 2012 - Annals of Pure and Applied Logic 163 (10):1367-1383.
Double-slit Interference and Temporal Topos.Goro Kato & Tsunefumi Tanaka - 2006 - Foundations of Physics 36 (11):1681-1700.
Saunders Mac Lane. Saunders Mac Lane: A mathematical autobiography.Colin McLarty - 2007 - Philosophia Mathematica 15 (3):400-404.
On the Freyd cover of a topos.Ieke Moerdijk - 1983 - Notre Dame Journal of Formal Logic 24 (4):517-526.
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.
Review: Benedykt Bornstein, Geometrical Logic. The Structures of Thought and Space. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):133-134.
Review: Garrett Birkhoff, Lattices and their Applications. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):34-35.
Review: M. H. Stone, The Representation of Boolean Algebras. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):35-35.
Review: Alfred Tarski, Der Aussagenkalkul und die Topologie. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (1):26-27.
Some Model Theory of Sheaves of Modules.Mike Prest, Vera Puninskaya & Alexandra Ralph - 2004 - Journal of Symbolic Logic 69 (4):1187 - 1199.
Review: H. M. MacNeille, Extension of a Distributive Lattice to a Boolean Ring. [REVIEW]Saunders Mac Lane - 1939 - Journal of Symbolic Logic 4 (3):134-134.

Analytics

Added to PP
2013-11-22

Downloads
24 (#662,338)

6 months
4 (#799,256)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references