Relating Topos Theory and Set Theory Via Categories of Classes

, &

Abstract

We investigate a certain system of intuitionistic set theory from three points of view: an elementary set theory with bounded separation, a topos with distinguished inclusions, and a category of classes with a system of small maps. The three presentations are shown to be equivalent in a strong sense

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Relating First-Order Set Theories and Elementary Toposes.Steve Awodey & Thomas Streicher - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco - 2014 - Annals of Pure and Applied Logic 165 (2):409-427.
Does category theory provide a framework for mathematical structuralism?Geoffrey Hellman - 2003 - Philosophia Mathematica 11 (2):129-157.
Algebraic Models of Intuitionistic Theories of Sets and Classes.Steve Awodey & Henrik Forssell - unknown
Relating first-order set theories, toposes and categories of classes.Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.
Some Possible Roles for Topos Theory in Quantum Theory and Quantum Gravity.C. J. Isham & J. Butterfield - 2000 - Foundations of Physics 30 (10):1707-1735.
Axiomatizing a category of categories.Colin McLarty - 1991 - Journal of Symbolic Logic 56 (4):1243-1260.
Toposes in logic and logic in toposes.Marta Bunge - 1984 - Topoi 3 (1):13-22.
Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
Intelligible Gunk.Dan Kurth - manuscript
Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Algebraic Models of Sets and Classes in Categories of Ideals.Steve Awodey, Henrik Forssell & Michael A. Warren - unknown

Analytics

Added to PP
2016-01-18

Downloads
16 (#883,649)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Awodey
Carnegie Mellon University

Citations of this work

Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.

Add more citations

References found in this work

No references found.

Add more references