First order expansions of the ordered group of real numbers

Model theory seminarFriday, November 18, 201612:30 pmGC 6417

First order expansions of the ordered group of real numbers

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