Forcing notions in inner models
scientific article; zbMATH DE number 5620099