LD-algebras beyond I0

DOI10.1215/00294527-2019-0009OpenAlexW2572425123WikidataQ127713226 ScholiaQ127713226MaRDI QIDQ2330502

Vincenzo Dimonte

Publication date: 22 October 2019

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

elementary embeddingsaxiom I0LD-algebranon-proper ordinals

Mathematics Subject Classification ID

Large cardinals (03E55) General algebraic systems (08-XX)

Cites Work

• 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})\)
• The left distributive law and the freeness of an algebra of elementary embeddings
• Braids and self-distributivity
• On the algebra of elementary embeddings of a rank into itself
• SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
• Elementary Embeddings and Algebra
• Elementary embeddings and infinitary combinatorics
• The well-foundedness of the Mitchell order
• Inverse limit reflection and the structure of L(V_λ+1)
• Left division in the free left distributive algebra on many generators

This page was built for publication: LD-algebras beyond I0