All Questions
1 question
0
votes
1
answer
104
views
Turing degrees inside the $\Pi_1^0$ class with top Medvedev degree
I'm sure i have read that the following (or something that implies this) is true
Let $X$ be a $\Pi_1^0$ class with top Medvedev degree. Then for every
$x\in X$, there is $y\in X$ with $y<_T x$.
...
- 75