All talks are in Hill
Logic Seminar at 5:00 Room 705
Monday 04/13 — Sheila Miller (CUNY)
Title: The structure of free left distributive algebras under several relations
Abstract: A well-known result of Laver established that the closure of a single, non-trivial rank-to-rank (I3)
embedding under application forms a free left distributive algebra that is linearly ordered under iterated left
division. The linearity was then shown to be a ZFC result by Dehornoy. We survey existing results on the
structure of free left distributive algebras on one and many generators as well as the finite approximations
to the free left distributive algebras (Laver tables) and present some new results and open problems.
Included are some remarks about logical strength.