Showing 1–2 of 2 results for author: Zarei, A

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence

Authors: Mohsen Khani, Ali N. Valizadeh, Afshin Zarei

Abstract: We introduce a model-complete theory which completely axiomatizes the structure $Z_α=(Z, +, 0, 1, f)$ where $f : x \to \lfloorα x \rfloor $ is a unary function with $α$ a fixed transcendental number. When $α$ is computable, our theory is recursively enumerable, and hence decidable as a result of completeness. Therefore, this result fits into the more general theme of adding traces of multiplicatio… ▽ More We introduce a model-complete theory which completely axiomatizes the structure $Z_α=(Z, +, 0, 1, f)$ where $f : x \to \lfloorα x \rfloor $ is a unary function with $α$ a fixed transcendental number. When $α$ is computable, our theory is recursively enumerable, and hence decidable as a result of completeness. Therefore, this result fits into the more general theme of adding traces of multiplication to integers without losing decidability. △ Less

Submitted 16 April, 2024; v1 submitted 4 October, 2021; originally announced October 2021.

Comments: In the current version, the abstract has undergone a minor modification

MSC Class: Primary 03B25; Secondary 03C10; 11U09; 11U05

The Additive Structure of Integers with the Lower Wythoff Sequence

Authors: Mohsen Khani, Afshin Zarei

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. 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. △ Less

Submitted 11 June, 2022; v1 submitted 23 February, 2019; originally announced February 2019.

Comments: 16 pages

MSC Class: 03C64