| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 8904314 | Annals of Pure and Applied Logic | 2018 | 19 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Philipp Hieronymi, Travis Nell, Erik Walsberg,