Olivetti Club

Tom KernCornell University
Really long words

Tuesday, September 1, 2015 - 4:30pm
Malott 406

In this talk, I will summarize the accessible portions of my research into nonstandard models of words (with prefix and equal length relations and operations to add letters on to the end of words). This will involve a brief discussion of first order logic and what a nonstandard model is, but will focus mainly on the weird oddities that show up in these nonstandard models.

Refreshments will be served in the lounge at 4:00 PM.