Enlightened - Badge - MathOverflow

Enlightened

First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.

Dan Turetsky

2,17912 silver badges16 bronze badges

earned this badge 3 times.

Does permission always work?

Awarded May 17 at 12:36

Does every cofinal branch through Kleene's O compute true arithmetic?

Awarded Dec 9, 2020 at 5:01

Can noncomputable sets be distinguishable in $RCA_0$?

Awarded Aug 3, 2016 at 23:15

Others with this badge