Wild theories with o-minimal open core

Philipp Hieronymi, Travis Nell, Erik Walsberg

Let $T$ be a consistent o-minimal theory extending the theory of densely ordered groups and let $T^{\prime }$ be a consistent theory. Then there is a complete theory $T^{\ast }$ extending $T$ suc…