file.pdf (307.57 kB)
0/0

Predicative Algebraic Set Theory

Download (307.57 kB)
journal contribution
posted on 01.01.2004 by Steven Awodey, Michael A. Warren
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.

Categories

Keyword(s)

History

Publisher Statement

All Rights Reserved

Date

01/01/2004

Exports

Categories

Keyword(s)

Exports