A note on recursive models of set theories
scientific article; zbMATH DE number 1990932