A new proof of Kunen’s inconsistency
Jindřich Zapletal · Proceedings of the American Mathematical Society · 1996
Using a basic fact from Shelah’s theory of possible cofinalities, we give a new proof of Kunen’s inconsistency theorem: there is no nontrivial elementary embedding of the set-theoretical universe into itself.