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

DOI10.1007/S11856-018-1635-YzbMATH Open1436.03209arXiv1601.04555OpenAlexW2259379241WikidataQ130172604 ScholiaQ130172604MaRDI QIDQ1650004FDOQ1650004

Erik Walsberg, Philipp Hieronymi

Publication date: 29 June 2018

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

Abstract: 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 $extrmNIP$ or even $extrm{NTP}_2$. We use this to deduce the first general results about definable sets in $extrm{NTP}_2$ expansions of $(mathbbR,<,+)$.

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strong theories of ordered Abelian groups
• 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 Guide to NIP Theories
• A dichotomy for expansions of the real field
• Hausdorff dimension, analytic sets and transcendence.
• 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

Cited In (7)

• Title not available (Why is that?)
• How to avoid a compact set
• Fractal dimensions of \(k\)-automatic sets
• A tetrachotomy for expansions of the real ordered additive group
• Fractals and the monadic second order theory of one successor
• Wild theories with o-minimal open core
• Undecidable first-order theories of affine geometries

This page was built for publication: Interpreting the monadic second order theory of one successor in expansions of the real line

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1650004)