The Dennes Room

Event Detail

Fri Feb 7, 2020
60 Evans Hall, 4:10–6 PM
Logic Colloquium
Erik Walsberg (UC Irvine)
First order expansions of (R,<,+)

I will discuss recent work on first order expansions of (R,<,+). I will describe the general dichotomy between tame and wild expansions and then describe a strong recent result on NIP expansions.