The Additive Structure of Integers with the Lower Wythoff Sequence

DOI10.1007/S00153-022-00846-2arXiv1902.08837MaRDI QIDQ6314516

Publication date: 23 February 2019

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.

Mathematics Subject Classification ID

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

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)