Algebraic Models of Sets and Classes in Categories of Ideals

, &

Abstract

We introduce a new sheaf-theoretic construction called the ideal completion 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

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

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.

My notes

Similar books and articles

Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Aspects of predicative algebraic set theory I: Exact Completion.Benno van den Berg & Ieke Moerdijk - 2008 - Annals of Pure and Applied Logic 156 (1):123-159.
Algebraic Models of Intuitionistic Theories of Sets and Classes.Steve Awodey & Henrik Forssell - unknown
Type theories, toposes and constructive set theory: predicative aspects of AST.Ieke Moerdijk & Erik Palmgren - 2002 - Annals of Pure and Applied Logic 114 (1-3):155-201.
The axiom of multiple choice and models for constructive set theory.Benno van den Berg & Ieke Moerdijk - 2014 - Journal of Mathematical Logic 14 (1):1450005.
The associated sheaf functor theorem in algebraic set theory.Nicola Gambino - 2008 - Annals of Pure and Applied Logic 156 (1):68-77.
Sets and Descent.Brice Halimi - 2016 - In Francesca Boccuni & Andrea Sereni, Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing.
Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems.Nicola Gambino & Marco Federico Larrea - 2023 - Journal of Symbolic Logic 88 (1):242-289.
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek & Taneli Huuskonen - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.

Analytics

Added to PP
2010-09-14

Downloads
34 (#741,874)

6 months
2 (#1,359,420)

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.

Add more citations

References found in this work

No references found.

Add more references