User Erfan Khaniki - Computer Science Stack Exchange

Erfan Khaniki

Member for 8 years
Last seen more than 1 year ago

Tehran, Iran

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

About

I'm a Ph.D. student in mathematics. My research interests are Mathematical logic and Complexity Theory.

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

3

bronze badges

Informed

Nov 26, 2015
Supporter

May 31, 2020
Autobiographer

Dec 2, 2015

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

14

Is there good reference for proof complexity?

13

Intutionistic Robinson Arithmetic

10

Collapsing the Linear Time Hierarchy and finite axiomatizability of bounded arithmetic

10

Complexity of induction formulas in proof theoretic ordinals

8

Kripke models of $HA$