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 2018 · math.LOShow all

1 paper · 2 filters

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…

The Σ1​-Provability Logic of HA*

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