Wild theories with o-minimal open core
Logic
2017-10-10 v2
Abstract
Let 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 such that 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.
Cite
@article{arxiv.1707.02062,
title = {Wild theories with o-minimal open core},
author = {Philipp Hieronymi and Travis Nell and Erik Walsberg},
journal= {arXiv preprint arXiv:1707.02062},
year = {2017}
}