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

Philipp Hieronymi, Erik Walsberg

Research output: Contribution to journalArticle

Abstract

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
Volume224
Issue number1
DOIs
StatePublished - Apr 1 2018

    Fingerprint

ASJC Scopus subject areas

  • Mathematics(all)

Cite this