Algebraic set theory and the effective topos
Kouwenhoven-Gentil, Claire ; van Oosten, Jaap
J. Symbolic Logic, Tome 70 (2005) no. 1, p. 879-890 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Following the book Algebraic Set Theory from André Joyal and Ieke Moerdijk [8], we give a characterization of the initial ZF-algebra, for Heyting pretoposes equipped with a class of small maps. Then, an application is considered (the effective topos) to show how to recover an already known model (McCarty [9]).
Publié le : 2005-09-14
Classification:  
@article{1122038918,
     author = {Kouwenhoven-Gentil, Claire and van Oosten, Jaap},
     title = {Algebraic set theory and the effective topos},
     journal = {J. Symbolic Logic},
     volume = {70},
     number = {1},
     year = {2005},
     pages = { 879-890},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1122038918}
}

Kouwenhoven-Gentil, Claire; van Oosten, Jaap. Algebraic set theory and the effective topos. J. Symbolic Logic, Tome 70 (2005) no. 1, pp.  879-890. http://gdmltest.u-ga.fr/item/1122038918/