User Erfan Khaniki - MathOverflow Meta

Erfan Khaniki

Member for 7 years, 6 months
Last seen more than 1 year ago

Tehran, Iran

Stats

1,679

reputation

0

reached

0

answers

0

questions

Loading…

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

Yearling

× 7

Dec 3

1

bronze badge

Autobiographer

Jan 9, 2016

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

13

Intutionistic Robinson Arithmetic

12

Is there good reference for proof complexity?

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$