Logic Seminar
Chris Miller
Ohio State University
Expansions of densely ordered groups having o-minimal open core
Abstract: I will discuss the following result, which is part of a joint project with A. Dolich and C. Steinhorn.
Theorem. Let T be a complete theory extending the theory of densely ordered groups such that, in every
model of T, every unary open definable set is a finite union of open intervals. Then, for every model of T,
the reduct generated by its open definable sets (of all arites) is o-minimal.
Tuesday February 7, 2006 at 3:00 PM in SEO 427