The additive structure of integers with the lower Wythoff sequence

DOI10.1007/s00153-022-00846-2OpenAlexW4288563599MaRDI QIDQ2700820

Afshin Zarei, Mohsen Khani

Publication date: 27 April 2023

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.08837

zbMATH Keywords

quantifier eliminationdecidabilityWythoff sequence

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)

Cites Work

• Unnamed Item
• Unnamed Item
• When is scalar multiplication decidable?
• Decision Algorithms for Fibonacci-Automatic Words, III: Enumeration and Abelian Properties
• EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS
• Decision algorithms for Fibonacci-automatic Words, I: Basic results
• Some Properties of Beatty Sequences II
• Some Properties of Beatty Sequences I^*
• Fibonacci Series Modulo m
• THERE ARE NO INTERMEDIATE STRUCTURES BETWEEN THE GROUP OF INTEGERS AND PRESBURGER ARITHMETIC
• DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES

This page was built for publication: The additive structure of integers with the lower Wythoff sequence