On elementary embeddings from an inner model to the universe
scientific article; zbMATH DE number 1679320