1 paper
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…