Aspects of Predicative Algebraic Set Theory I: Exact Completion

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.

Submitted to Ann. Pure Appl. Logic

Cited by in corpus (1)

• Aspects of Predicative Algebraic Set Theory II: Realizability