MathOverflow
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki
  • Member for 7 years, 10 months
  • Last seen more than 1 year ago
  • Tehran, Iran
Profile Activity
Stats
1,699
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.
7
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$

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.