Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\)
scientific article; zbMATH DE number 5131230