1 citations · 2 across the 5 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2020
Decidability of the Multiplicative and Order Theory of Numbers
Ziba Assadi
The ordered structures of natural, integer, rational and real numbers are studied in this thesis. The theories of these numbers in the language of order are decidable and finitely…
math.LO2020★ 1 cited
On the Truth of Gödelian and Rosserian Sentences
Ziba Assadi, Saeed Salehi
There is a longstanding debate in the logico-philosophical community as to why the Gödelian sentences of a consistent and sufficiently strong theory are true. The prevalent argumen…
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…