Abstract
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]).
Citation
Claire Kouwenhoven-Gentil. Jaap van Oosten. "Algebraic set theory and the effective topos." J. Symbolic Logic 70 (3) 879 - 890, September 2005. https://doi.org/10.2178/jsl/1122038918
Information