Expansions of the ordered additive group of real numbers by two discrete subgroups
Logic
2017-04-21 v2
Abstract
The theory of is decidable if is quadratic. If is the golden ratio, defines multiplication by . The results are established by using the Ostrowski numeration system based on the continued fraction expansion of to define the above structures in monadic second order logic of one successor. The converse that 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}
}