Generalizations of the Kunen inconsistency

DOI10.1016/J.APAL.2012.06.001zbMATH Open1270.03100arXiv1106.1951OpenAlexW2963723091MaRDI QIDQ714722FDOQ714722

Norman Lewis Perlmutter, Joel David Hamkins, Greg Kirmayer

Publication date: 11 October 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1106.1951

Recommendations

• Non-existence of generic elementary embeddings into the ground model
• A new proof of Kunen’s inconsistency
• No elementary embedding from v into v is definable from parameters
• Non-closure of the image model and absence of fixed points
• The spectrum of elementary embeddings \(j: V \to V\)

zbMATH Keywords

forcingdefinabilityelementary embeddingsKunen inconsistency

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47)

Cites Work

• Set Theory
• Elementary embeddings and infinitary combinatorics
• Set-theoretic geology
• The higher infinite. Large cardinals in set theory from their beginnings.
• What is the theory ZFC without power set?
• Closed maximality principles: implications, separations and combinations
• A new proof of Kunen’s inconsistency
• On elementary embeddings from an inner model to the universe
• Title not available (Why is that?)
• Non-existence of generic elementary embeddings into the ground model
• Proper forcing and \(L(\mathbb{R})\)
• On the sequence of models $HOD_n$
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• No elementary embedding from v into v is definable from parameters
• Title not available (Why is that?)
• Iterating ordinal definability

Cited In (14)

• GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
• INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES
• The Hypothesis and a supercompact cardinal
• Large Cardinals and the Continuum Hypothesis
• The strong reflecting property and Harrington's Principle
• Strongly compact cardinals and ordinal definability
• Implications of very large cardinals
• EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE
• Resurrection axioms and uplifting cardinals
• Reinhardt cardinals and iterates of \(V\)
• Set-theoretic geology
• INNER MODEL THEORETIC GEOLOGY
• I0 and rank-into-rank axioms
• VARIETIES OF CLASS-THEORETIC POTENTIALISM

Uses Software

• MathOverflow

This page was built for publication: Generalizations of the Kunen inconsistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q714722)