Skip to main content
MathOverflow
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki
  • Member for 8 years, 9 months
  • Last seen more than 2 years ago
  • Tehran, Iran
Profile Activity
Stats
1,689
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
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
1
bronze badge
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$