EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS

DOI10.1017/JSL.2015.34zbMATH Open1436.03208arXiv1407.7002OpenAlexW2962760733MaRDI QIDQ2976377FDOQ2976377

Philipp Hieronymi

Publication date: 28 April 2017

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: The theory of $(mathbbR,<,+,mathbbZ,mathbbZa)$ is decidable if $a$ is quadratic. If $a$ is the golden ratio, $(mathbbR,<,+,mathbbZ,mathbbZa)$ defines multiplication by $a$. The results are established by using the Ostrowski numeration system based on the continued fraction expansion of $a$ to define the above structures in monadic second order logic of one successor. The converse that $(mathbbR,<,+,mathbbZ,mathbbZa)$ defines monadic second order logic of one successor, will also be established.

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

zbMATH Keywords

decidabilityOstrowski numeration systemmonadic second order logic of one successorordered additive group of real numbers

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Model theory of ordered structures; o-minimality (03C64)

Cites Work

• Interpreting the projective hierarchy in expansions of the real line
• Automata theory and its applications
• Defining the set of integers in expansions of the real field by a closed discrete set
• Representations of numbers and finite automata
• The theory of \(\langle \mathbb{N} , +, V_ k, V_ l\rangle\) is undecidable
• Logical number theory I. An introduction

Cited In (10)

• A wild model of linear arithmetic and discretely ordered modules
• Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
• Ostrowski numeration systems, addition, and finite automata
• Decidability for Sturmian words
• When is scalar multiplication decidable?
• Title not available (Why is that?)
• A tetrachotomy for expansions of the real ordered additive group
• Interpreting the monadic second order theory of one successor in expansions of the real line
• The additive structure of integers with the lower Wythoff sequence
• Title not available (Why is that?)

This page was built for publication: EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS

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