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.LO2019
On supercompactness of
Daisuke Ikegami, Nam Trang
This paper studies structural consequences of supercompactness of under . We show that the Axiom of Dependent Choice follows from " is supercompact"…