Mathematics
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky
  • Member for 6 years, 11 months
  • Last seen more than a week ago
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
All Questions Answers
Score Newest
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
20
Do we expect that sufficiently large computable ordinals settle every question of arithmetic?
17
Is the analysis as taught in universities in fact the analysis of definable numbers?
17
Minimum transitive models and V=L

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.