Skip to main content
MathOverflow
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky
  • Member for 8 years, 6 months
  • Last seen this week
Profile Activity

Stats

8,788
reputation
126k
reached
46
answers
74
questions
Communities

Badges

View all badges
1
gold badge
24
silver badges
52
bronze badges

Top tags

View all tags
232
Score
101
Posts
84
Posts %
195
Score
84
Posts
70
Posts %
78
Score
36
Posts
30
Posts %
60
Score
21
Posts
18
Posts %
30
Score
21
Posts
18
Posts %
21
Score
21
Posts
18
Posts %

Top posts

View all questions and answers
36
Examples of statements with a high quantifier complexity
Sep 24, 2017
22
Do we expect that sufficiently large computable ordinals settle every question of arithmetic?
Oct 15, 2022
20
Is the analysis as taught in universities in fact the analysis of definable numbers?
Aug 30, 2017
18
When can we add choice to a model of ZF
Oct 1, 2024
17
Is this theory the complete theory of the real ordered field?
Mar 1, 2021
17
Consistency strength of $j:L_δ→L_δ$ for some δ
Dec 21, 2018
17
Minimum transitive models and V=L
Jan 8, 2023
14
Is there a $\Pi_2$ sentence $A$ such that $\text{ZFC}^- + A$ proves powerset?
Nov 20, 2024
13
How much determinacy do you need for second order arithmetic to be as strong as ZFC?
Jul 15, 2023
12
Adding nonconstructive disjunction to intuitionistic logic
Aug 20, 2017

Top Meta posts

1
0
10
MathOverflow answers and peer review

Top network posts

View all network posts
23
Fine-grained complexity of BPP
16
An algebra of complexity classes
15
Does $∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) = \mathrm{DTIME}(n^{2+o(1)})$?
15
Sorting with an average of $\mathrm{lg}(n!)+o(n)$ comparisons
11
Does $∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε})) = \mathrm{DTIME}(n^{2+o(1)})$?