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.