English

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

Logic 2017-04-21 v2

Abstract

The theory of (R,<,+,Z,Za)(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a) is decidable if aa is quadratic. If aa is the golden ratio, (R,<,+,Z,Za)(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a) defines multiplication by aa. The results are established by using the Ostrowski numeration system based on the continued fraction expansion of aa to define the above structures in monadic second order logic of one successor. The converse that (R,<,+,Z,Za)(\mathbb{R},<,+,\mathbb{Z},\mathbb{Z} a) defines monadic second order logic of one successor, will also be established.

Keywords

Cite

@article{arxiv.1407.7002,
  title  = {Expansions of the ordered additive group of real numbers by two discrete subgroups},
  author = {Philipp Hieronymi},
  journal= {arXiv preprint arXiv:1407.7002},
  year   = {2017}
}