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

DOI10.1007/S11856-018-1635-YMaRDI QIDQ1650004zbMATH OpenOpenAlexWikidataFDO

Authors Philipp Hieronymi, Erik Walsberg

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

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)

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,<,+)$.

Recommendations

• scientific article; zbMATH DE number 2222021
• Metric dimensions and tameness in expansions of the real field
• Notes on monadic logic. A: Monadic theory of the real line
• Composition with Algebra at the Background

Cites work

• scientific article; zbMATH DE number 1223712 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 1062123 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 2222021 (Why is no real title available?)
• A Guide to NIP Theories
• A dichotomy for expansions of the real field
• Defining the set of integers in expansions of the real field by a closed discrete set
• Expansions of subfields of the real field by a discrete set
• Expansions of the ordered additive group of real numbers by two discrete subgroups
• Expansions of the real field by open sets: definability versus interpretability
• Hausdorff dimension, analytic sets and transcendence.
• Interpreting the projective hierarchy in expansions of the real line
• Strong theories of ordered abelian groups
• Structures having o-minimal open core

Cited in

(7)

• Fractal dimensions of \(k\)-automatic sets
• A tetrachotomy for expansions of the real ordered additive group
• Wild theories with o-minimal open core
• scientific article; zbMATH DE number 7168153 (Why is no real title available?)
• Fractals and the monadic second order theory of one successor
• How to avoid a compact set
• 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)