Expansions of the ordered additive group of real numbers by two discrete subgroups
classification
🧮 math.LO
keywords
mathbbdefinesestablishedlogicmonadicordersecondsuccessor
read the original abstract
The theory of $(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a)$ is decidable if $a$ is quadratic. If $a$ is the golden ratio, $(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a)$ 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 $(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a)$ defines monadic second order logic of one successor, will also be established.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.