No cardinal correct inner model elementarily embeds into the universe
No cardinal correct inner model elementarily embeds into the universe
An elementary embedding $j:M\rightarrow 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$ and show that there is no nontrivial cardinal preserving elementary embedding from $M$ into $V$, answering a question of Caicedo.