MathOverflow
Profile Activity
Meta user
Network profile
2,781
reputation
1
9
25

Dmytro Taranovsky

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

16
answers
35
questions
~49k
people reached
  • Member for 3 years, 1 month
  • 525 profile views
  • Last seen Sep 14 at 18:19

Communities (3)

Top network posts

Top tags (38)

Score 53
Posts 44
Posts % 86
Score 52
Posts 30
Score 28
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
12 Is the analysis as taught in universities in fact the analysis of definable numbers? Aug 30 '17
11 Arguments against large cardinals Jan 8 '19
11 Cut-free proofs in ZFC Aug 10 '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 (35)

Gold

1

Rarest

Silver

9

Rarest

Bronze

25

Rarest

View all badges →