Generalizations of the Kunen inconsistency

  • J. D. Hamkins, G. Kirmayer, and N. L. Perlmutter, “Generalizations of the Kunen inconsistency,” Annals of pure and applied logic, vol. 163, iss. 12, pp. 1872-1890, 2012.  
    @article{HamkinsKirmayerPerlmutter2012:GeneralizationsOfKunenInconsistency,
    title = "Generalizations of the {Kunen} inconsistency",
    journal = "Annals of Pure and Applied Logic",
    volume = "163",
    number = "12",
    pages = "1872 - 1890",
    year = "2012",
    note = "",
    issn = "0168-0072",
    doi = "10.1016/j.apal.2012.06.001",
    eprint = {1106.1951},
    url = "http://www.sciencedirect.com/science/article/pii/S0168007212000966",
    author = "Joel David Hamkins and Greg Kirmayer and Norman Lewis Perlmutter"
    }

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 definable class to V, among many other possibilities we consider, including generic embeddings, definable embeddings and results not requiring the axiom of choice. We have aimed in this article for a unified presentation that weaves together some previously known unpublished or folklore results, several due to Woodin and others, along with our new contributions.

4 thoughts on “Generalizations of the Kunen inconsistency

  1. Pingback: Kunen Inconsistency, Singapore 2011 | Joel David Hamkins

  2. Pingback: Kunen Inconsistency, Vienna 2011 KGRC | Joel David Hamkins

  3. Pingback: Norman Lewis Perlmutter | Joel David Hamkins

  4. Pingback: The role of the foundation axiom in the Kunen inconsistency | Joel David Hamkins

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>