Generalizations of the Kunen inconsistency
From MaRDI portal
Publication:714722
DOI10.1016/j.apal.2012.06.001zbMath1270.03100arXiv1106.1951OpenAlexW2963723091MaRDI 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
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other notions of set-theoretic definability (03E47)
Related Items (13)
The strong reflecting property and Harrington's Principle ⋮ Implications of very large cardinals ⋮ The Hypothesis and a supercompact cardinal ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS ⋮ Strongly compact cardinals and ordinal definability ⋮ INNER MODEL THEORETIC GEOLOGY ⋮ Resurrection axioms and uplifting cardinals ⋮ Large Cardinals and the Continuum Hypothesis ⋮ EVERY COUNTABLE MODEL OF SET THEORY EMBEDS INTO ITS OWN CONSTRUCTIBLE UNIVERSE ⋮ I0 and rank-into-rank axioms ⋮ Set-theoretic geology ⋮ Reinhardt cardinals and iterates of \(V\)
Uses Software
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
This page was built for publication: Generalizations of the Kunen inconsistency
