Generalizations of the Kunen inconsistency

@article{Hamkins2012GeneralizationsOT,
  title={Generalizations of the Kunen inconsistency},
  author={J. D. Hamkins and Greg Kirmayer and Norman Lewis Perlmutter},
  journal={Ann. Pure Appl. Log.},
  year={2012},
  volume={163},
  pages={1872-1890}
}
  • J. D. Hamkins, Greg Kirmayer, Norman Lewis Perlmutter
  • Published 2012
  • Mathematics, Computer Science
  • Ann. Pure Appl. Log.
  • We present several generalizations of the well-known Kunen inconsistency that there is no nontrivial elementary embedding from the set-theoretic universe V to itself. For example, there is no elementary embedding from the universe V to a set-forcing extension V[G], or conversely from V[G] to V, or more generally from one ground model of the universe to another, or between any two models that are eventually stationary correct, or from V to HOD, or conversely from HOD to V, or indeed from any… CONTINUE READING

    Topics from this paper.

    Executing Gödel’s programme in set theory
    Set-theoretic geology
    • 50
    • PDF
    The HOD Hypothesis and a supercompact cardinal
    • 1
    • PDF
    Large Cardinals and the Continuum Hypothesis
    • 2
    • PDF
    Inner Model Theoretic Geology
    • 3
    • PDF
    Generic Large Cardinals and Systems of filters
    • 2
    • PDF

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 21 REFERENCES
    Elementary Embeddings and Infinitary Combinatorics
    • K. Kunen
    • Mathematics, Computer Science
    • 1971
    • 132
    On Elementary Embeddings from An Inner Model to The Universe
    • 11
    • PDF
    No Elementary Embedding From V into V Is Definable From Parameters
    • 18
    • Highly Influential
    Closed maximality principles: implications, separations and combinations
    • G. Fuchs
    • Mathematics, Computer Science
    • 2008
    • 18
    • PDF
    Iterating ordinal definability
    • 6
    Proper Forcing and L(r)
    • 11
    • Highly Influential
    A new proof of Kunen’s inconsistency
    • 9
    • Highly Influential
    • PDF
    Proper forcings and absoluteness in L ( R )
    • 9
    • Highly Influential
    • PDF
    General Topology, D
    • 1965