The uniqueness of elementary embeddings

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.

arXiv comment25 pages. Fixed a mistake in the proof of Theorem 3.7 pointed out by Moti Gitik

References in corpus (3)

• Strongly compact cardinals and ordinal definability
• Strong Compactness and the Ultrapower Axiom
• A note on Woodin's HOD dichotomy