3
$\begingroup$

A function f is diagonaly non-recursive (DNR) if for every Turing index $e$, $f(e) \neq \Phi_e(e)$.

A set is strongly hyperhyperimmune if there is no r.e. set of disjoint r.e. set intersecting it.

In their paper "A cohesive set which is not high", the authors claim that the jumps of the strongly hyperhyperimmune degrees coincide with the degrees of functions which are DNR relative to 0'.

How could it be possible knowing that there exists a $low_2$ DNR relative to 0' and of course no jump can be $low_2$ ?

Improve this question
$\endgroup$
0

1 Answer 1

Reset to default
3
$\begingroup$

Carl Jockusch and Frank Stephan. A cohesive set which is not high. Mathematical Logic Quarterly, 39:515-530, 1993. A corrective note (keeping the main results intact) appeared in the same journal, 43:569, 1997.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .