Skip to main content
MathOverflow

Return to Question

moved meta info from title to tag, fixed capitals
Source Link
YCor
YCor
  • 63.9k
  • 5
  • 187
  • 286

Reference request: turing Turing degrees inside the $\Pi_1^0$ class with top medvedevMedvedev 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 medvedevMedvedev degree. Then for every $x\in X$, there is $y\in X$ with $y<_T x$.

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

Reference request: 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 remeber where. If this is true, do you know where can I find this or a similar statement? Thanks

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?

Source Link
Niconar
Niconar
  • 75
  • 4

Reference request: 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 remeber where. If this is true, do you know where can I find this or a similar statement? Thanks