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

DOI10.1007/s11856-018-1635-yzbMath1436.03209arXiv1601.04555OpenAlexW2259379241WikidataQ130172604 ScholiaQ130172604MaRDI QIDQ1650004

Erik Walsberg, Philipp Hieronymi

Publication date: 29 June 2018

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1601.04555

Mathematics Subject Classification ID

Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Classification theory, stability, and related concepts in model theory (03C45) Second- and higher-order model theory (03C85) Model theory of ordered structures; o-minimality (03C64)

Related Items

Unnamed Item, Wild theories with o-minimal open core, Fractals and the monadic second order theory of one successor, How to avoid a compact set, A tetrachotomy for expansions of the real ordered additive group

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hausdorff dimension, analytic sets and transcendence.
• Strong theories of ordered Abelian groups
• EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS
• Expansions of the real field by open sets: definability versus interpretability
• Expansions of subfields of the real field by a discrete set
• Interpreting the projective hierarchy in expansions of the real line
• Structures having o-minimal open core
• Defining the set of integers in expansions of the real field by a closed discrete set
• A dichotomy for expansions of the real field
• A Guide to NIP Theories