The Additive Structure of Integers with the Lower Wythoff Sequence
Logic
2022-10-18 v4
Abstract
We have provided a pure model-theoretic proof for the decidability of the additive structure of the integers together with the function {f} sending {x} to {[\phi x]} where {\phi} is the golden ratio.
Cite
@article{arxiv.1902.08837,
title = {The Additive Structure of Integers with the Lower Wythoff Sequence},
author = {Mohsen Khani and Afshin Zarei},
journal= {arXiv preprint arXiv:1902.08837},
year = {2022}
}
Comments
16 pages