Wild theories with o-minimal open core

Philipp Hieronymi, Travis Nell, Erik Walsberg

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)146-163
Number of pages18
JournalAnnals of Pure and Applied Logic
Issue number2
StatePublished - Feb 2018


  • Distal
  • Expansions of the real line
  • NIP
  • Noiseless
  • O-minimal open core
  • Tameness

ASJC Scopus subject areas

  • Logic


Dive into the research topics of 'Wild theories with o-minimal open core'. Together they form a unique fingerprint.

Cite this