Predicative algebraic set theory.

Awodey, Steve, and Warren, Michael A.. "Predicative algebraic set theory.." Theory and Applications of Categories [electronic only] 15 (2005): 1-39. <http://eudml.org/doc/125101>.

@article{Awodey2005,
author = {Awodey, Steve, Warren, Michael A.},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {algebraic set theory; categorical logic; predicativity; ideal completion; dependent type theory; pretopos; small maps},
language = {eng},
pages = {1-39},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Predicative algebraic set theory.},
url = {http://eudml.org/doc/125101},
volume = {15},
year = {2005},
}

TY - JOUR
AU - Awodey, Steve
AU - Warren, Michael A.
TI - Predicative algebraic set theory.
JO - Theory and Applications of Categories [electronic only]
PY - 2005
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 15
SP - 1
EP - 39
LA - eng
KW - algebraic set theory; categorical logic; predicativity; ideal completion; dependent type theory; pretopos; small maps
UR - http://eudml.org/doc/125101
ER -