Aspects of Predicative Algebraic Set Theory I: Exact Completion

2007/10/16 by Benno van den Berg, Berg, Benno van den, Ieke Moerdijk +1 · 1 citation
Computer Science · Mathematics · #03E70 #03F50 #18A35 #18C50 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.0710.3077

openalex publication_date 2007/10/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay the necessary groundwork for the next two parts, one on Realisability and the other on Sheaf Models in Algebraic Set Theory.

Cited by

• Aspects of Predicative Algebraic Set Theory II: Realizability

Related

• Aspects of Predicative Algebraic Set Theory II: Realizability
• Derived rules for predicative set theory: an application of sheaves
• A Unified Approach to Algebraic Set Theory
• Independence Phenomena in Mathematics: a Set Theoretic Perspective on Current Obstacles and Scenarios for Solutions
• The Axiom of Multiple Choice and Models for Constructive Set Theory