Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Algebraic models of sets and classes in categories Steve Awodey and Henrik Forssell and Michael A. Warren
 

Summary: Algebraic models of sets and classes in categories
of ideals
Steve Awodey and Henrik Forssell and Michael A. Warren
May 31, 2006
Revised: November 2006
Abstract
We introduce a new sheaf-theoretic construction called the ideal comple-
tion of a category and investigate its logical properties. We show that
it satisfies the axioms for a category of classes in the sense of Joyal and
Moerdijk [17], so that the tools of algebraic set theory can be applied
to produce models of various elementary set theories. These results are
then used to prove the conservativity of different set theories over various
classical and constructive type theories.
1 Introduction
It is well known that various type theories may be modelled in certain kinds of
categories (cf. [15]). For instance, cartesian closed categories are models of the
typed lambda calculus and toposes are models of intuitionistic higher order logic
(IHOL). Similarly, Joyal and Moerdijk [17] showed that one can axiomatize a
notion of small map in a category in such a way that the resulting category will
contain an algebraic model of elementary set theory. In this paper we employ

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics