Complete topoi representing models of set theory
Zermelo-Fraenkel set theory allowing atoms
scientific article; zbMATH DE number 60735