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 cardinal; elementary embeddings

Mathematics Subject Classification ID

03E55: Large cardinals

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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