Generalizations of the Kunen inconsistency

DOI10.1016/j.apal.2012.06.001zbMath1270.03100arXiv1106.1951MaRDI QIDQ714722

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)

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

zbMATH Keywords

forcing; definability; elementary embeddings; Kunen inconsistency

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

03E55: Large cardinals

03E47: Other notions of set-theoretic definability

Related Items

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

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterating ordinal definability
• Non-existence of generic elementary embeddings into the ground model
• Set-theoretic geology
• Proper forcing and L(ℝ)
• On elementary embeddings from an inner model to the universe
• What is the theory without power set?
• Elementary embeddings and infinitary combinatorics
• On the sequence of models $HOD_n$
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• Set Theory
• A new proof of Kunen’s inconsistency
• No elementary embedding from v into v is definable from parameters
• Closed maximality principles: implications, separations and combinations