Projectively well-ordered inner models
scientific article; zbMATH DE number 768748