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.