Predicative Algebraic Set Theory

Abstract

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown to provide models of the aforementioned set theories. Finally, models of these theories are constructed in the category of ideals

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

  • Only published works are available at libraries.

Similar books and articles

A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Sets, classes, and categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
Prädikative Klassen.Ralf-Dieter Schindler - 1993 - Erkenntnis 39 (2):209 - 241.
Arithmetical set theory.Paul Strauss - 1991 - Studia Logica 50 (2):343 - 350.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.

Analytics

Added to PP
2010-09-14

Downloads
30 (#507,566)

6 months
6 (#448,852)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steve Awodey
Carnegie Mellon University

Citations of this work

A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Comparing material and structural set theories.Michael Shulman - 2019 - Annals of Pure and Applied Logic 170 (4):465-504.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references