15 citations · 16 across the 2 of their papers we have counts for
2 papers
math.LO1992★ 1 cited
On the Algebra of Elementary Embeddings of a Rank into Inself
Richard Laver
Let be an elementary embedding, with critical point , and let be the number of critical points of embeddings in the algebra generated by which lie bet…
math.LO1992★ 15 cited
A division Algorithm for the Free Left Distributive Algebra
Richard Laver
The normal form theorem, proved in R. Laver, On the left distributive law and the freeness of an algebra of elementary embeddings, Advances in Mathematics 91 (1992), 209-231, for t…