Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}]\) hierarchy

DOI10.1016/S0168-0072(00)00035-XzbMath0968.03060OpenAlexW2203317673WikidataQ114656180 ScholiaQ114656180MaRDI QIDQ1840465

Richard Laver

Publication date: 14 September 2001

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

Full work available at URL: https://doi.org/10.1016/s0168-0072(00)00035-x

zbMATH Keywords

large cardinalelementary embeddingsstrong implications

Mathematics Subject Classification ID

Large cardinals (03E55)

Related Items (10)

AXIOM I₀ AND HIGHER DEGREE THEORY ⋮ Implications of very large cardinals ⋮ Generic at ⋮ A partially non-proper ordinal beyond \(L(V_{\lambda +1})\) ⋮ Kunen and set theory ⋮ Rank-into-rank hypotheses and the failure of GCH ⋮ \(I_0\) and combinatorics at \(\lambda ^+\) ⋮ I0 and rank-into-rank axioms ⋮ Laver and set theory ⋮ Inverse limit reflection and the structure of L(V_λ+1)

Cites Work

• Implications between strong large cardinal axioms
• On the algebra of elementary embeddings of a rank into itself
• Elementary embeddings and infinitary combinatorics
• The well-foundedness of the Mitchell order
• A new proof of Kunen’s inconsistency
• Unnamed Item
• Unnamed Item

This page was built for publication: Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}]\) hierarchy