Afshin Zarei

collaborators

3 papers

math.NT2026

A Note on Iterated Beatty Sequences

Mohsen Khani, Ali N. Valizadeh, Afshin Zarei

For any irrational number $α > \frac{3 + 5}{2} \approx 2.618$ and given a positive $n \in N$ , we use elementary number theory to introduce a necessary and sufficient con…

math.LO2025

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence

Mohsen Khani, Ali N. Valizadeh, Afshin Zarei

We introduce a recursive theory that completely axiomatizes the structure $⟨ Z, <, +, f, 0 ⟩$ where $f$ is the function that maps each $x$ to the integer part of $…

math.LO2025

Construction of a valued field whose valuation ring is definable but neither $\exists\forall\exists$ nor $\forall\exists\forall$ -definable in the language of rings

Mohsen Khani, Shaghayegh Shirani, Zahra Yadegari +1

We give an example of a valued field $(K, A)$ such that the valuation ring $A$ is definable by an $L_{ring}$ -formula without parameters, but there is no $\exists\forall\exist…

A Note on Iterated Beatty Sequences

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence

Construction of a valued field whose valuation ring is definable but neither ∃∀∃ nor ∀∃∀-definable in the language of rings

Construction of a valued field whose valuation ring is definable but neither $\exists\forall\exists$ nor $\forall\exists\forall$ -definable in the language of rings