Algebraic models of intuitionistic theories of sets and classes.
Theory and Applications of Categories [electronic only] (2005)
- Volume: 15, page 147-163
- ISSN: 1201-561X
Access Full Article
topHow to cite
topAwodey, S., and Forssell, H.. "Algebraic models of intuitionistic theories of sets and classes.." Theory and Applications of Categories [electronic only] 15 (2005): 147-163. <http://eudml.org/doc/125871>.
@article{Awodey2005,
author = {Awodey, S., Forssell, H.},
journal = {Theory and Applications of Categories [electronic only]},
keywords = {set; class; intuitionistic; ideal},
language = {eng},
pages = {147-163},
publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},
title = {Algebraic models of intuitionistic theories of sets and classes.},
url = {http://eudml.org/doc/125871},
volume = {15},
year = {2005},
}
TY - JOUR
AU - Awodey, S.
AU - Forssell, H.
TI - Algebraic models of intuitionistic theories of sets and classes.
JO - Theory and Applications of Categories [electronic only]
PY - 2005
PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville
VL - 15
SP - 147
EP - 163
LA - eng
KW - set; class; intuitionistic; ideal
UR - http://eudml.org/doc/125871
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.