No cardinal correct inner model elementarily embeds into the universe
Logic
2024-11-05 v1
Abstract
An elementary embedding between two inner models of ZFC is cardinal preserving if and correctly compute the class of cardinals. We look at the case and show that there is no nontrivial cardinal preserving elementary embedding from into , answering a question of Caicedo.
Cite
@article{arxiv.2411.01046,
title = {No cardinal correct inner model elementarily embeds into the universe},
author = {Gabriel Goldberg and Sebastiano Thei},
journal= {arXiv preprint arXiv:2411.01046},
year = {2024}
}