Corpus ID: 232076427

A note on cardinal preserving embeddings

  title={A note on cardinal preserving embeddings},
  author={Gabriel Goldberg},
An elementary embedding between two transitive models of set theory is cardinal preserving if its domain and target models have the same class of cardinals. The purpose of this note is to extend some ideas due to Caicedo and Woodin, leading to a proof that the critical point κ of a cardinal preserving embedding from the universe into an inner model is strongly compact in Vγ for some inaccessible cardinal γ > κ. In particular, we have the following consistency result: 


Cardinal preserving elementary embeddings
Say that an elementary embedding j : N → M is cardinal preserving if CAR^M = CAR^N = CAR. We show that if PFA holds then there are no cardinal preserving elementary embeddings j : M → V. We alsoExpand
The Ultrapower Axiom
The inner model problem for supercompact cardinals, one of the central open problems in modern set theory, asks whether there is a canonical model of set theory with a supercompact cardinal. TheExpand
Cardinal preserving elementary embeddings. In Logic Colloquium 2007, volume 35 of Lect. Notes Log., pages 14–31
  • Assoc. Symbol
  • 2010
Introduction. It is well known that every nonprincipal ultrafilter D on a set 7 is to-incomplete, provided the cardinal of the set I is not exceedingly large. (We refer the reader to theExpand
Strongly compact cardinals and the GCH
  • In Proceedings of the Tarski Symposium (Proc. Sympos. Pure Math., Vol. XXV, Univ. California, Berkeley,
  • 1971