MathOverflow
Profile Activity
Meta user
Network profile
2,741
reputation
1
7
25

Dmytro Taranovsky

Apparently, this user prefers to keep an air of mystery about them.

16
answers
35
questions
~48k
people reached
  • Member for 2 years, 10 months
  • 489 profile views
  • Last seen 23 hours ago

Communities (3)

Top network posts

Top tags (38)

Score 51
Posts 44
Posts % 86
Score 49
Posts 30
Score 27
Posts 18
Score 7
Posts 6
Score 6
Posts 16
Score 5
Posts 8
View all tags →

Top posts (51)

All Questions Answers
Votes Newest
33 Examples of statements with a high quantifier complexity Sep 24 '17
15 Consistency strength of $j:L_δ→L_δ$ for some δ Dec 21 '18
12 Infinite descending consistency chains Jan 11 '19
11 Cut-free proofs in ZFC Aug 10 '17
11 Arguments against large cardinals Jan 8 '19
10 Is the analysis as taught in universities in fact the analysis of definable numbers? Aug 30 '17
10 Adding nonconstructive disjunction to intuitionistic logic Aug 20 '17
10 Does $Π^1_{2n+1} = (Σ^1_{2n+1})^{M_{2n-1}}$? Feb 6
8 Complexity of $L[\mathrm{cf}]$ Aug 28 '17
8 α-Mahlo vs weakly compact cardinals Dec 24 '18
View all questions and answers →

Badges (33)

Gold

1

Rarest

Silver

7

Rarest

Bronze

25

Rarest

View all badges →