Erfan Khaniki

Available identifiers

zbMath Open khaniki.erfanMaRDI QIDQ2074811

List of research outcomes

Publication	Date of Publication	Type
Nisan-Wigderson generators in proof complexity: new lower bounds	2024-07-05	Paper
NEW RELATIONS AND SEPARATIONS OF CONJECTURES ABOUT INCOMPLETENESS IN THE FINITE DOMAIN	2022-08-29	Paper
Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)	2022-02-11	Paper
Not all Kripke models of $\sf HA$ are locally $\sf PA$	2020-06-21	Paper
The provably total recursive functions and the MRDP theorem in Basic Arithmetic and its extensions	2020-03-03	Paper
A counterexample to polynomially bounded realizability of basic arithmetic	2019-10-22	Paper
New relations and separations of conjectures about incompleteness in the finite domain	2019-04-02	Paper

Research outcomes over time

This page was built for person: Erfan Khaniki