Sheila Miller: The structure of free left distributive algebras under several relations

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.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.