Interpreting the monadic second order theory of one successor in expansions of the real line

Philipp Hieronymi, Erik Walsberg

Research output: Contribution to journalArticle


We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties defined by Shelah, such as NIP or even NTP2. We use this to deduce the first general results about definable sets in NTP2 expansions of (R,<, +).

Original languageEnglish (US)
Pages (from-to)39-55
Number of pages17
JournalIsrael Journal of Mathematics
Issue number1
StatePublished - Apr 1 2018


ASJC Scopus subject areas

  • Mathematics(all)

Cite this