10 citations · 52 across the 24 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 1 cited
On Decidability of the Ordered Structures of Numbers
Ziba Assadi, Saeed Salehi
The ordered structures of natural, integer, rational and real numbers are studied here. It is known that the theories of these numbers in the language of order are decidable and fi…
math.LO2017★ 5 cited
On Axiomatizability of the Multiplicative Theory of Numbers
Saeed Salehi
The multiplicative theory of a set of numbers (which could be natural, integer, rational, real or complex numbers) is the first-order theory of the structure of that set with (sole…