Media type: E-Article Title: Aspects of predicative algebraic set theory I: Exact completion Contributor: van den Berg, Benno; Moerdijk, Ieke Published: Elsevier BV, 2008 Published in: Annals of Pure and Applied Logic, 156 (2008) 1, Seite 123-159 Language: English DOI: 10.1016/j.apal.2008.06.013 ISSN: 0168-0072 Keywords: Logic Origination: Footnote: Access State: Open Access