Aspects of Predicative Algebraic Set Theory I: Exact Completion

Simple item page
dc.creatorBerg, Benno van den
dc.creatorMoerdijk, Ieke
dc.date2007-10-16
dc.date.accessioned2026-07-07T08:36:39Z
dc.date.available2026-07-07T08:36:39Z
dc.descriptionThis 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.
dc.descriptionSubmitted to Ann. Pure Appl. Logic
dc.identifierhttps://arxiv.org/abs/0710.3077
dc.identifierhttp://arxiv.org/abs/0710.3077
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/140136
dc.subjectLogic
dc.subjectCategory Theory
dc.subject03E70; 03F50; 18A35; 18C50
dc.titleAspects of Predicative Algebraic Set Theory I: Exact Completion
dc.typetext

Files

Collections

arXiv