pith. sign in

arxiv: 1407.7002 · v2 · pith:NZB34Y3Znew · submitted 2014-07-25 · 🧮 math.LO

Expansions of the ordered additive group of real numbers by two discrete subgroups

classification 🧮 math.LO
keywords mathbbdefinesestablishedlogicmonadicordersecondsuccessor
0
0 comments X
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.