Algebraic properties of elementary embeddings

Printer-friendly version
Speaker: 
Scott Cramer
Institution: 
California State University San Bernardino
Time: 
Mon, 12/04/2017 - 4:00pm - 5:30pm
Host: 
Martin Zeman
Location: 
RH 440R

We will investigate algebraic structures created by rank-into-rank elementary embeddings. Our starting point will be R. Laver's theorem that any rank-into-rank embedding generates a free left-distributive algebra on one generator. We will consider extensions of this and related results. Our results will lead to some surprisingly coherent conjectures on the algebraic structure of rank-into-rank embeddings in general.