2 papers
math.LO2026
Free Left Distributive Algebras and a Canonical Extension
Scott Cramer, Meng-Che "Turbo" Ho, Sheila K. Miller Edwards +1
Assuming a large cardinal hypothesis, Laver gave a representation of the monogenerated free left distributive algebra (LDA) using elementary embeddings and used this representation…
math.LO2025
A free two-generated left distributive algebra of elementary embeddings
Andrew D. Brooke-Taylor, Scott Cramer, Sheila K. Miller Edwards
The set-theoretic large cardinal axiom known as I3 posits the existence of a non-trivial rank-to-rank embedding from an initial segment of the universe of sets into itself. Laver s…