1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.HO2023
The Temporal Continuum
Mohammad Ardeshir, Rasoul Ramezanian
The continuum has been one of the most controversial topics in mathematics since the time of the Greeks. Some mathematicians, such as Euclid and Cantor, held the position that a li…
math.LO2020★ 1 cited
The provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions
Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari
We study Basic Arithmetic, BA introduced by W. Ruitenburg. BA is an arithmetical theory based on basic logic which is weaker than intuitionistic logic. We show that the class of th…
math.LO2018
The -Provability Logic of HA*
Mohammad Ardeshir, Mojtaba Mojtahedi
For the Heyting Arithmetic HA, HA* is defined as the theory , where is called the box translation of . We characterize the -pr…