Restricted jump interpolation in the d.c.e. degrees
CARL G., JOCKUSCH; LI, ANGSHENG; JOCKUSCH; University of Illinois; LI ANGSHENG; Chinese Academy of Sciences
Журнал:
Mathematical Structures in Computer Science
Дата:
2006
Аннотация:
We show that for any 2-computably enumerable Turing degree ${\bf l}$, any computably enumerable degree ${\bf a}$ and any Turing degree ${\bf s}$, if ${\bf l'=\boldsymbol{0}'}$, ${\bf l}$, ${\bf s\geq \boldsymbol{0}'}$, and ${\bf s}$ is c.e. in ${\bf a}$, then there is a 2-computably enumerable degree ${\bf x}$ with the following properties: ${\bf l}$; and${\bf x'=s}$.
206.8Кб