Aspects of Predicative Algebraic Set Theory I: Exact Completion
Logic
2007-10-17 v1 Category Theory
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.
Keywords
Cite
@article{arxiv.0710.3077,
title = {Aspects of Predicative Algebraic Set Theory I: Exact Completion},
author = {Benno van den Berg and Ieke Moerdijk},
journal= {arXiv preprint arXiv:0710.3077},
year = {2007}
}
Comments
Submitted to Ann. Pure Appl. Logic