Aspects of Predicative Algebraic Set Theory I: Exact Completion
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
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
Submitted to Ann. Pure Appl. Logic