TY - JOUR
T1 - Interpreting the monadic second order theory of one successor in expansions of the real line
AU - Hieronymi, Philipp
AU - Walsberg, Erik
N1 - Publisher Copyright:
© 2018, Hebrew University of Jerusalem.
PY - 2018/4/1
Y1 - 2018/4/1
N2 - 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,<, +).
AB - 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,<, +).
UR - http://www.scopus.com/inward/record.url?scp=85046699460&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85046699460&partnerID=8YFLogxK
U2 - 10.1007/s11856-018-1635-y
DO - 10.1007/s11856-018-1635-y
M3 - Article
AN - SCOPUS:85046699460
SN - 0021-2172
VL - 224
SP - 39
EP - 55
JO - Israel Journal of Mathematics
JF - Israel Journal of Mathematics
IS - 1
ER -