Relating first-order set theories, toposes and categories of classes

Annals of Pure and Applied Logic 165 (2):428-502 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
First-order logical duality.Steve Awodey - 2013 - Annals of Pure and Applied Logic 164 (3):319-348.
Sets, classes, and categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
Sets and classes as many.John L. Bell - 2000 - Journal of Philosophical Logic 29 (6):585-601.
Prädikative Klassen.Ralf-Dieter Schindler - 1993 - Erkenntnis 39 (2):209 - 241.
Categories, toposes and sets.J. L. Bell - 1982 - Synthese 51 (3):293 - 337.

Analytics

Added to PP
2010-09-14

Downloads
90 (#183,909)

6 months
15 (#148,654)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Awodey
Carnegie Mellon University

References found in this work

Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.
The strength of Mac Lane set theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.

View all 16 references / Add more references