A New Proof of Kunen's Inconsistency

Abstract

Using elementary pcf, we show that there is no $j:V\to M,$ $M$ transitive, $j\lambda =\lambda >crit(j),$ $j^{\prime \prime }\lambda \in M.$