M. Khani

activity

20182026

most citedThe Additive Structure of Integers with the Lower Wythoff Sequence

2 citations · 2 across the 7 of their papers we have counts for

collaborators

Showing 2025Show all

2 papers · 1 filter

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…

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