M. Khani

works on

beatty sequences 1 elementary number theory 1 irrational numbers 1 iterated sequences 1 membership criteria 1

From the 1 of 3 linked papers with an AI index.

collaborators

3 papers

math.NT2026

A Note on Iterated Beatty Sequences

Mohsen Khani, Ali N. Valizadeh, Afshin Zarei

The paper provides an elementary number‑theoretic criterion that exactly characterizes when a natural number belongs to the nth iterate of a Beatty sequence with irrational modulus…

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