ec20ce8a072f4ff7.tex
1: \begin{abstract}
2: Let $T$ be a consistent o-minimal theory extending the theory of densely ordered groups and let $T'$ be a consistent theory. Then there is a complete theory $T^*$ extending $T$ such that $T$ is an open core of $T^*$, but every model of $T^*$ interprets a model of $T'$. If $T'$ is NIP, $T^*$ can be chosen to be NIP as well. From this we deduce the existence of an NIP expansion of the real field that has no distal expansion.
3: %We also show that an expansion of $(\R,<,+)$ has o-minimal open core if and only if it does not define an infinite discrete linear order.
4: \end{abstract}
5: