Skip to main content
MathOverflow
Siddharth's user avatar
Siddharth's user avatar
Siddharth's user avatar
Siddharth
  • Member for 11 years, 4 months
  • Last seen more than a week ago
Profile Activity
Stats
211
reputation
1k
reached
2
answers
3
questions
Communities
View all
Badges
This user doesn’t have any gold badges yet.
1
silver badge
3
bronze badges
Top tags
View all tags
2
Score
3
Posts
60
Posts %
2
Score
2
Posts
40
Posts %
1
Score
3
Posts
60
Posts %
1
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
1
Score
1
Posts
20
Posts %
Top posts
question
6
Finite-variable fragments of $\Delta_0$-formulas
Mar 4, 2017
answer
2
Expressive power of FO with $\mu$
Aug 3, 2018
question
1
Is this dichotomy for a VC-shatter-like function known?
May 3, 2014
question
1
Can a positive elementary inductive definition refer to its own stage comparison relation?
Oct 4
answer
1
Transfinite algorithms
Sep 23, 2020
Top network posts
View all network posts
14
Sorting using read-only stacks
14
Where is the model theory in programming language theory?
8
Does Bellantoni-Cook safe recursion (or any other implicit characterization of P) admit Kleene's second recursion theorem?
6
Separating $DSPACE(f)$ and $DTIME(2^f)$: is there any function computable in time $2^{O(f)}$ but not in space $O(f)$?
5
Can a positive elementary inductive definition refer to its own stage comparison relation?