As of May 31, 2023, we have updated our Code of Conduct.
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki
  • Member for 7 years, 6 months
  • Last seen more than a month ago
  • Tehran, Iran
13 votes
1 answer
639 views

Intutionistic Robinson Arithmetic

10 votes
0 answers
239 views

Collapsing the Linear Time Hierarchy and finite axiomatizability of bounded arithmetic

10 votes
1 answer
341 views

Complexity of induction formulas in proof theoretic ordinals

8 votes
1 answer
323 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
219 views

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

7 votes
2 answers
232 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
166 views

Logical complexity of hard functions conjectures

5 votes
0 answers
96 views

Collapsing the Exponential time Hierarchy with a complete language as oracle

5 votes
0 answers
122 views

Collapsing the Intuitionistic Bounded Arithmetics Hierarchy

4 votes
1 answer
260 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
181 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?