Chris Miller : Expansions of densely ordered groups having o-minimal open core

Posted by Matthias Aschenbrenner , part of the Logic Seminar.

At

Feb. 7, 2006, 3 p.m.

In

SEO 427

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.