{ "id": "1707.02062", "version": "v1", "published": "2017-07-07T07:42:27.000Z", "updated": "2017-07-07T07:42:27.000Z", "title": "Wild theories with o-minimal open core", "authors": [ "Philipp Hieronymi", "Travis Nell", "Erik Walsberg" ], "categories": [ "math.LO" ], "abstract": "Let $T$ be a complete o-minimal theory extending the theory of densely ordered groups and let $T'$ be any theory. Then there is a theory $T^*$ that has $T$ as its open core, but all of its models interpret 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.", "revisions": [ { "version": "v1", "updated": "2017-07-07T07:42:27.000Z" } ], "analyses": { "subjects": [ "03C64", "03C45" ], "keywords": [ "o-minimal open core", "wild theories", "complete o-minimal theory extending", "real field", "nip expansion" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable" } } }