Implications between strong large cardinal axioms

DOI10.1016/S0168-0072(97)00031-6zbMath0890.03027WikidataQ56224886 ScholiaQ56224886MaRDI QIDQ1377603

Richard Laver

Publication date: 26 January 1998

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

zbMATH Keywords

large cardinalelementary embeddings

Mathematics Subject Classification ID

Large cardinals (03E55)

Related Items (14)

A general tool for consistency results related to I1 ⋮ AXIOM I₀ AND HIGHER DEGREE THEORY ⋮ Double helix in large large cardinals and iteration of elementary embeddings ⋮ Model theoretic characterizations of large cardinals ⋮ Implications of very large cardinals ⋮ \(C ^{(n)}\)-cardinals ⋮ The iterability hierarchy above \(\mathsf {I3}\) ⋮ Rank-into-rank hypotheses and the failure of GCH ⋮ Certain very large cardinals are not created in small forcing extensions ⋮ I0 and rank-into-rank axioms ⋮ Diagonal Prikry extensions ⋮ Laver and set theory ⋮ Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}\) hierarchy] ⋮ Inverse limit reflection and the structure of L(V_λ+1)

Cites Work

• The left distributive law and the freeness of an algebra of elementary embeddings
• Critical points in an algebra of elementary embeddings
• Finite left-distributive algebras and embedding algebras
• On the algebra of elementary embeddings of a rank into itself
• Elementary embeddings and infinitary combinatorics
• Variations of Keisler's theorem for complete embeddings
• Strong axioms of infinity and elementary embeddings
• The well-foundedness of the Mitchell order
• A new proof of Kunen’s inconsistency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Implications between strong large cardinal axioms