Publications > Preprint server > Preprint Number 991
Preprint Number 991
991. Philipp Hieronymi, Erik Walsberg
Interpreting the monadic second order theory of one successor in expansions of the real line
Submission date: 18 January 2016.
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 NTP_2. We use this to deduce the first general results about definable sets in NTP_2 expansions of ( R, < , + ).
Mathematics Subject Classification: Primary 03C45, Secondary 03C64, 03D05, 28A80, 54F45
Keywords and phrases:
|Last updated: January 22 2016 15:34||Please send your corrections to:|