MathOverflow
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki
  • Member for 7 years, 3 months
  • Last seen more than a month ago
  • Tehran, Iran
Profile Activity
Stats
1,679
reputation
9k
reached
6
answers
23
questions
Communities
About

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

Badges
View all badges
1
gold badge
10
silver badges
17
bronze badges
Top tags
View all tags
32
Score
29
Posts
100
Posts %
17
Score
8
Posts
28
Posts %
13
Score
11
Posts
38
Posts %
12
Score
5
Posts
17
Posts %
5
Score
4
Posts
14
Posts %
2
Score
3
Posts
10
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
13
Intutionistic Robinson Arithmetic
Jan 8, 2016
answer
12
Is there good reference for proof complexity?
Sep 10, 2017
question
10
Collapsing the Linear Time Hierarchy and finite axiomatizability of bounded arithmetic
Nov 22, 2016
question
10
Complexity of induction formulas in proof theoretic ordinals
Aug 13, 2017
question
8
Kripke models of $HA$
Dec 5, 2015
question
8
Does every model of $I\Delta_0$ has an end extension to a model of $I\Delta_0+\Omega_1$?
Dec 20, 2015
question
8
Forcing in Constructive Set Theories
Mar 3, 2017
answer
8
Platonic Truth and 1st Order Predicate Logic
Dec 27, 2016
question
7
On models of $Th_{\Pi_2}(PA)$
May 18, 2018
question
7
Measure of the numbers with length of $n$ for a nonstandard number $n$
Feb 14, 2019

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.