arXiv subjects

Richard Laver

Publications and source records attributed to Richard Laver.

2 recordsLinked to original sources

arXiv1992

A division Algorithm for the Free Left Distributive Algebra

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 the free algebra $\Cal A$ on one generator $x$ satisfying the left distributive law $a(bc) = (ab)(ac)$ is extended by showing that members of $\Cal A$ can be put into a "division form."

math.LO↗

arXiv1992

On the Algebra of Elementary Embeddings of a Rank into Inself

Let $j:V_λ---> V_λ$ be an elementary embedding, with critical point $κ$, and let $f(n)$ be the number of critical points of embeddings in the algebra generated by $j$ which lie between $j^n(κ)$ and $j^{n+1}(κ)$. It is shown that $f(n)$ is finite for all $n$.

math.LO↗