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

1 paper · 2 filters

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 Σ_1 Provability Logic of HA

The $Σ$ _1 Provability Logic of HA