pith. sign in

arxiv: 1707.02062 · v2 · pith:IL6SRJMWnew · submitted 2017-07-07 · 🧮 math.LO

Wild theories with o-minimal open core

classification 🧮 math.LO
keywords theoryconsistentcoreexpansionextendingmodelo-minimalopen
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.