Model theory seminarFriday, November 18, 201612:30 pmGC 6417
First order expansions of the ordered group of real numbers
Erik Walsberg
University of Illinois Urbana-Champaign
We discuss (part of) the classification of first order expansions of $(\mathbb{R},<,+)$ according to the geometry and topology of their definable sets. Joint work with Philipp Hieronymi, following work of Hieronymi, Fornasiero, Miller, and Tychonievich.
Posted by
on November 8th, 2016