I0 and rank-into-rank axioms

DOI10.1007/s40574-017-0136-yOpenAlexW2962891963MaRDI QIDQ1990130

Vincenzo Dimonte

Publication date: 24 October 2018

Published in: Bollettino dell'Unione Matematica Italiana (Search for Journal in Brave)

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

zbMATH Keywords

large cardinalselementary embeddingsaxiom I0embedding liftingrank-into-rank axiomsrelative constructabilitysingular cardinals combinatorics

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05)

Related Items (6)

Model theoretic characterizations of large cardinals ⋮ The iterability hierarchy above \(\mathsf {I3}\) ⋮ BERKELEY CARDINALS AND THE STRUCTURE OF L(Vδ+1) ⋮ Infinite decreasing chains in the Mitchell order ⋮ Some aspects of the SD-world ⋮ A Solovay-like model for singular generalized descriptive set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A general tool for consistency results related to I1
• A partially non-proper ordinal beyond \(L(V_{\lambda +1})\)
• \(I_0\) and combinatorics at \(\lambda ^+\)
• Totally non-proper ordinals beyond \(L(V_{\lambda +1})\)
• Generalizations of the Kunen inconsistency
• Lifting elementary embeddings \(j : V_{\lambda } \rightarrow V_{\lambda }\)
• The left distributive law and the freeness of an algebra of elementary embeddings
• Finite left-distributive algebras and embedding algebras
• Implications between strong large cardinal axioms
• The wholeness axiom and Laver sequences
• Blowing up power of a singular cardinal -- wider gaps
• Cabal Seminar 79-81. Proceedings, Caltech-UCLA Logic Seminar 1979-81
• Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}\) hierarchy]
• On the algebra of elementary embeddings of a rank into itself
• Coding lemmata in \(L(V_{\lambda+1})\)
• Rank-into-rank hypotheses and the failure of GCH
• SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
• Prikry-Type Forcings
• Diagonal Prikry extensions
• SUITABLE EXTENDER MODELS I
• Handbook of Set Theory
• Elementary embeddings and infinitary combinatorics
• AXIOM I₀ AND HIGHER DEGREE THEORY
• The consistency strength of the tree property at the double successor of a measurable cardina
• ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS
• Fragile measurability
• Braid Groups and Left Distributive Operations
• Extender-based Radin forcing
• No elementary embedding from v into v is definable from parameters
• Jonsson-like partition relations and j: V → V
• Inverse limit reflection and the structure of L(V_λ+1)
• Powers of regular cardinals
• On sequences generic in the sense of Prikry
• The weak ultrafilter axiom

This page was built for publication: I0 and rank-into-rank axioms