Authors
Steve Awodey
Carnegie Mellon University
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,581
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

A Brief Introduction to Algebraic Set Theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.

View all 12 citations / Add more citations

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 index
2010-09-14

Total views
21 ( #521,355 of 2,461,735 )

Recent downloads (6 months)
1 ( #448,599 of 2,461,735 )

How can I increase my downloads?

Downloads

My notes