{"id":"arxiv/2604.08768","url":"https://arxiv.org/abs/2604.08768","tags":["math.LO"],"score":0,"title":"Free Left Distributive Algebras and a Canonical Extension","domain":"math.LO","source":"arxiv","authors":["Scott Cramer","Meng-Che \"Turbo\" Ho","Sheila K. Miller Edwards","Nam Trang"],"reviews":0,"subject":"math.LO","summary":"Assuming a large cardinal hypothesis, Laver gave a representation of the monogenerated free left distributive algebra (LDA) using elementary embeddings and used this representation to prove many algebraic results. Some of these results were later proved by Dehornoy in ZFC, without the large cardinal hypotheses. However, there is an important algebraic result whose consistency strength is unknown. (See Laver (1995) and Dougherty & Jech (1997).) Recent results [arXiv:2508.02244] extend the connection between elementary embeddings of set theory and free LDAs to the many-generated case. Assuming…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-09","reactions":{}}