Department of Mathematics, University of Illinois at Urbana-Champaign, 1409 West Green Street, Urbana, IL 61801, United States
Abstract:
Let T be a consistent o-minimal theory extending the theory of densely ordered groups and let be a consistent theory. Then there is a complete theory extending T such that T is an open core of , but every model of interprets a model of . If is NIP, 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.