Mohammad Ardeshir

activity

20132023

most citedThe provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions

1 citations · 2 across the 5 of their papers we have counts for

collaborators

Showing math.LOShow all

3 papers · 1 filter

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 $Σ_{1}$ -Provability Logic of HA*

Mohammad Ardeshir, Mojtaba Mojtahedi

For the Heyting Arithmetic HA, HA* is defined as the theory ${A ∣ HA ⊢ A^{□}}$ , where $A^{□}$ is called the box translation of $A$ . We characterize the $Σ_{1}$ -pr…

math.LO2014

The $Σ$ _1 Provability Logic of HA

Mohammad Ardeshir, S. Mojtaba Mojtahedi

In this paper we introduce a modal theory $H_{σ}$ , which is sound and complete for arithmetical $Σ$ _1 substitutions in $HA$ , in other words, we will show that $H_{σ}$ is the $Σ$ _…

The provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions

The Σ1​-Provability Logic of HA*

The Σ_1 Provability Logic of HA

The $Σ_{1}$ -Provability Logic of HA*

The $Σ$ _1 Provability Logic of HA