Skip to main content
2 of 2
moved meta info from title to tag, fixed capitals
YCor
  • 63.9k
  • 5
  • 187
  • 286

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$.

But i don't remember where. If this is true, do you know where can I find this or a similar statement?