No cardinal correct inner model elementarily embeds into the universe

Gabriel Goldberg, Sebastiano Thei

An elementary embedding $j:M\to N$ between two inner models of ZFC is cardinal preserving if $M$ and $N$ correctly compute the class of cardinals. We look at the case $N=V$…