2021/02/26 by Gabriel Goldberg, Goldberg, Gabriel
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO
paper · pdf · doi:10.48550/arxiv.2103.00072
4 pages
arxiv created 2021/02/26 · arxiv updated 2021/03/02
We prove the consistency of the theory ZFC + there is a strongly compact cardinal from the existence of a cardinal preserving embedding from the universe into an inner model. The proof almost shows that under SCH, every cardinal preserving embedding preserves the cofinality and continuum functions.