Interpreting the monadic second order theory of one successor in   expansions of the real line
  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 $\textrm{NIP}$ or even $\textrm{NTP}_2$. We use this to deduce the first general results about definable sets in $\textrm{NTP}_2$ expansions of $(\mathbb{R},<,+)$. 
Philipp Hieronymi, Erik Walsberg
math.LO