The Additive Structure of Integers with the Lower Wythoff Sequence
arXiv:1902.08837 · doi:10.1007/s00153-022-00846-2
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 {[ϕx]} where ϕ is the golden ratio.
16 pages