# Predicative algebraic set theory.

Awodey, Steve; Warren, Michael A.

Theory and Applications of Categories [electronic only] (2005)

- Volume: 15, page 1-39
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topAwodey, 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 -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.