Erfan Khaniki

activity

20192025

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

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

collaborators

Showing 2020Show all

2 papers · 1 filter

math.LO2020

Not all Kripke models of $HA$ are locally $PA$

Erfan Khaniki

Let $K$ be an arbitrary Kripke model of Heyting Arithmetic, $HA$ . For every node $k$ in $K$ , we can view the classical structure of $k$ , $M_{k}$ as a mo…

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…

Not all Kripke models of HA are locally PA

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

Not all Kripke models of $HA$ are locally $PA$