Showing math.LOShow all
3 papers · 1 filter
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.LO2023
Preservation of AD via forcings
Daisuke Ikegami, Nam Trang
We show that assuming "", any poset which increases does not preserve the truth of . We…
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"…