2 citations · 2 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
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…