2 citations · 2 across the 7 of their papers we have counts for
7 papers
A Note on Iterated Beatty Sequences
Mohsen Khani, Ali N. Valizadeh, Afshin Zarei
For any irrational number and given a positive , we use elementary number theory to introduce a necessary and sufficient con…
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 where is the function that maps each to the integer part of $…
Construction of a valued field whose valuation ring is definable but neither nor -definable in the language of rings
Mohsen Khani, Shaghayegh Shirani, Zahra Yadegari +1
We give an example of a valued field such that the valuation ring is definable by an -formula without parameters, but there is no $\exists\forall\exist…
Bi-Colored Expansions of Geometric Theories
Somayye Jalili, Mohsen Khani, Massoud Pourmahdian
This paper concerns the study of Bi-colored expansions of geometric theories in the light of the Fraïssé-Hrushovski construction method. Substructures of models of a geometric theo…
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
Mohsen Khani, Ali N. Valizadeh, Afshin Zarei
We introduce a model-complete theory which completely axiomatizes the structure where is a unary function with a fixed tra…
The Additive Structure of Integers with the Lower Wythoff Sequence
Mohsen Khani, Afshin Zarei
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 gol…
A Dependent Bi-Coloured Field
Mohsen Khani, Massoud Pourmahdian
We have considered a Fraisse class of finitely generated ordered real fields with a colour predicate. A predimension map is defined on finite sets and the Fraisse limit of the clas…