pith. sign in

arxiv: 0710.3077 · v1 · submitted 2007-10-16 · 🧮 math.LO · math.CT

Aspects of Predicative Algebraic Set Theory I: Exact Completion

Benno van den Berg , Ieke Moerdijk This is my paper
classification 🧮 math.LO math.CT
keywords algebraictheoryaspectscompletionexactfirstgroundworkmain
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.