User Erfan Khaniki - MathOverflow

As of May 31, 2023, we have updated our Code of Conduct.

Erfan Khaniki

Member for 7 years, 6 months
Last seen more than a month ago

Tehran, Iran

23 Questions

Score Activity Newest Views

13 votes

1 answer

639 views

Intutionistic Robinson Arithmetic

asked Jan 8, 2016 at 15:19

10 votes

0 answers

239 views

Collapsing the Linear Time Hierarchy and finite axiomatizability of bounded arithmetic

asked Nov 22, 2016 at 8:44

10 votes

1 answer

341 views

Complexity of induction formulas in proof theoretic ordinals

asked Aug 13, 2017 at 19:48

8 votes

1 answer

323 views

Forcing in Constructive Set Theories

asked Mar 3, 2017 at 13:11

8 votes

0 answers

187 views

Kripke models of $HA$

asked Dec 5, 2015 at 18:32

8 votes

0 answers

133 views

Does every model of $I\Delta_0$ has an end extension to a model of $I\Delta_0+\Omega_1$?

asked Dec 20, 2015 at 14:24

7 votes

2 answers

219 views

On models of $Th_{\Pi_2}(PA)$

asked May 18, 2018 at 9:37

7 votes

2 answers

232 views

Measure of the numbers with length of $n$ for a nonstandard number $n$

asked Feb 14, 2019 at 22:38

6 votes

0 answers

193 views

Complexity of defining prime numbers [duplicate]

asked May 14, 2017 at 19:04

6 votes

1 answer

166 views

Logical complexity of hard functions conjectures

asked Aug 24, 2017 at 18:32

5 votes

0 answers

96 views

Collapsing the Exponential time Hierarchy with a complete language as oracle

asked Oct 31, 2017 at 13:06

5 votes

0 answers

122 views

Collapsing the Intuitionistic Bounded Arithmetics Hierarchy

asked Mar 20, 2017 at 8:36

4 votes

1 answer

260 views

Weak Bounded Arithmetics

asked Jan 10, 2016 at 13:27

4 votes

0 answers

215 views

Construction of model of arithmetic from an arbitrary model

asked Jun 20, 2016 at 22:07

4 votes

3 answers

329 views

End Extension models of $I\Delta_0$

asked Dec 3, 2015 at 12:58

3 votes

0 answers

61 views

Equational theory for resolution proof system

asked Oct 10, 2016 at 9:46

3 votes

0 answers

181 views

Reducing Consistency of $PA$ [closed]

asked Jan 18, 2016 at 11:18

3 votes

1 answer

115 views

On subtheories of $\mathsf{T_2+EXP}$

asked Mar 9, 2017 at 22:00

2 votes

0 answers

190 views

$P=NP$ and provability of family of propositional formulas

asked Jan 12, 2017 at 19:58

2 votes

1 answer

208 views

Bounded Arithmetic and Counting

asked Jan 22, 2017 at 21:54

2 votes

0 answers

85 views

Recursion theoretical Characterization of time complexity classes

asked Mar 25, 2017 at 19:18

1 vote

0 answers

85 views

models of $I\exists^+_1$

asked Jan 1, 2016 at 21:49

1 vote

0 answers

110 views

Is there any standard name for Provably Decidable Set?

asked Aug 5, 2016 at 17:13