The Additive Structure of Integers with the Lower Wythoff Sequence

DOI10.1007/S00153-022-00846-2MaRDI QIDQ6314516arXivFDO

Authors Mohsen Khani, Afshin Zarei

Publication date 23 February 2019

Published in arXiv

Full work available at URL https://doi.org/10.1007/S00153-022-00846-2

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Computable structure theory, computable model theory (03C57) Applications of model theory (03C98) Fibonacci and Lucas numbers and polynomials and generalizations (11B39)

arXiv classification

math.LO

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.

This page was built for publication: The Additive Structure of Integers with the Lower Wythoff Sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6314516)