Generalizations of the Kunen inconsistency

DOI10.1016/J.APAL.2012.06.001MaRDI QIDQ714722zbMATH OpenOpenAlexFDO

Authors Joel David Hamkins, Greg Kirmayer, Norman Lewis Perlmutter

Publication date 11 October 2012

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

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

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)

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.

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\)

Cites work

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

Cited in

(15)

• Every countable model of set theory embeds into its own constructible universe
• I0 and rank-into-rank axioms
• VARIETIES OF CLASS-THEORETIC POTENTIALISM
• GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS
• INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES
• The Hypothesis and a supercompact cardinal
• A new proof of Kunen’s inconsistency
• The strong reflecting property and Harrington's Principle
• Strongly compact cardinals and ordinal definability
• Implications of very large cardinals
• Inner model theoretic geology
• Resurrection axioms and uplifting cardinals
• Reinhardt cardinals and iterates of \(V\)
• Set-theoretic geology
• Large cardinals and the continuum hypothesis

Describes a project that uses

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)