Erfan Khaniki

activity

20192025

collaborators

Showing math.LOShow 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.LO2019

New relations and separations of conjectures about incompleteness in the finite domain

Erfan Khaniki

Our main results are in the following three sections: 1. We prove new relations between proof complexity conjectures that are discussed in \cite{pu18}. 2. We investigate the existe…

Not all Kripke models of HA are locally PA

New relations and separations of conjectures about incompleteness in the finite domain

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