Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 991

Preprint Number 991

Previous Next Preprint server

991. Philipp Hieronymi, Erik Walsberg
Interpreting the monadic second order theory of one successor in expansions of the real line
E-mail: ,

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:

Full text arXiv 1601.04555: pdf, ps.

Last updated: January 22 2016 15:34 Please send your corrections to: