Predicative Algebraic Set Theory
journal contributionposted on 01.01.2004 by Steven Awodey, Michael A. Warren
Any type of content formally published in an academic journal, usually following a peer-review process.
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.