The uniqueness of elementary embeddings
Logic
2025-02-05 v2
Abstract
Much of the theory of large cardinals beyond a measurable cardinal concerns the structure of elementary embeddings of the universe of sets into inner models. This paper seeks to answer the question of whether the inner model uniquely determines the elementary embedding.
Keywords
Cite
@article{arxiv.2103.13961,
title = {The uniqueness of elementary embeddings},
author = {Gabriel Goldberg},
journal= {arXiv preprint arXiv:2103.13961},
year = {2025}
}
Comments
25 pages. Fixed a mistake in the proof of Theorem 3.7 pointed out by Moti Gitik