Theoretical Computer Science
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky's user avatar
Dmytro Taranovsky
  • Member for 5 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
2,402
reputation
0
reached
0
answers
0
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
5
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
33
Examples of statements with a high quantifier complexity
22
Fine-grained complexity of BPP
20
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?

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.