Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki
  • Member for 7 years, 4 months
  • Last seen more than a month ago
  • Tehran, Iran
13 votes
1 answer
632 views

Intutionistic Robinson Arithmetic

10 votes
0 answers
235 views

Collapsing the Linear Time Hierarchy and finite axiomatizability of bounded arithmetic

10 votes
1 answer
331 views

Complexity of induction formulas in proof theoretic ordinals

8 votes
1 answer
322 views

Forcing in Constructive Set Theories

8 votes
0 answers
187 views

Kripke models of $HA$

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$?

7 votes
2 answers
218 views

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

7 votes
2 answers
229 views

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

6 votes
0 answers
193 views

Complexity of defining prime numbers [duplicate]

6 votes
1 answer
165 views

Logical complexity of hard functions conjectures

5 votes
0 answers
95 views

Collapsing the Exponential time Hierarchy with a complete language as oracle

5 votes
0 answers
121 views

Collapsing the Intuitionistic Bounded Arithmetics Hierarchy

4 votes
1 answer
259 views

Weak Bounded Arithmetics

4 votes
0 answers
215 views

Construction of model of arithmetic from an arbitrary model

4 votes
3 answers
329 views

End Extension models of $I\Delta_0$

3 votes
0 answers
61 views

Equational theory for resolution proof system

3 votes
0 answers
180 views

Reducing Consistency of $PA$ [closed]

3 votes
1 answer
115 views

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

2 votes
0 answers
190 views

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

2 votes
1 answer
208 views

Bounded Arithmetic and Counting

2 votes
0 answers
85 views

Recursion theoretical Characterization of time complexity classes

1 vote
0 answers
85 views

models of $I\exists^+_1$

1 vote
0 answers
110 views

Is there any standard name for Provably Decidable Set?