Mathematics
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky
  • Member for 7 years, 5 months
  • Last seen this week
Profile Activity
Stats
676
reputation
7k
reached
14
answers
3
questions
Communities
Badges
View all badges
1
gold badge
6
silver badges
19
bronze badges
Top tags
View all tags
12
Score
4
Posts
24
Posts %
11
Score
3
Posts
18
Posts %
11
Score
3
Posts
18
Posts %
8
Score
3
Posts
18
Posts %
7
Score
2
Posts
12
Posts %
3
Score
2
Posts
12
Posts %
Top posts
View all questions and answers
question
9
The Fox and the Duck in a Square Pond [duplicate]
Aug 15, 2017
answer
5
Small proof-theoretic ordinals
Aug 31, 2017
answer
5
Average number of tosses to WIN the gambler's ruin game.
Aug 3, 2018
answer
5
Does Wolfram MathWorld misstate Glasser's master theorem?
Aug 9, 2018
answer
4
What is first order definable in $\text{Ord}$ with just $\leq$?
Aug 21, 2017
answer
4
The structure of countable ordinals
Sep 1, 2017
answer
4
Two random variables $X,Y$ such that $X+Y$ has the same distribution as $X$
Jun 21, 2022
answer
3
What is an undefinable ordinal? How large are the least undefinable ordinal and supremum of all undefinable ordinals?
Aug 29, 2017
answer
2
Undetermined game of length $\omega_1+\omega$, without choice
Oct 30, 2016
answer
2
Is Grzegorczyk's theory $TC$ interpretable in Robinson Arithmetic $Q$
Nov 21, 2016
Top network posts
View all network posts
33
Examples of statements with a high quantifier complexity
23
Fine-grained complexity of BPP
21
Do we expect that sufficiently large computable ordinals settle every question of arithmetic?
17
Minimum transitive models and V=L
17
Is the analysis as taught in universities in fact the analysis of definable numbers?