Hostname: page-component-848d4c4894-75dct Total loading time: 0 Render date: 2024-05-14T15:19:07.956Z Has data issue: false hasContentIssue false

Restricted jump interpolation in the d.c.e. degrees

Published online by Cambridge University Press:  11 October 2006

CARL G.
Affiliation:
Department of Mathematics, University of Illinois, 1409 W. Green St., Urbana, Illinois 61801, U.S.A.
ANGSHENG LI
Affiliation:
Computing Laboratory, Institute of Software, Chinese Academy of Sciences, and State Key Laboratory of Computer Science. P. O. Box 8718, Beijing, 100080, P. R. CHINA Email: angsheng@gcl.iscas.ac.cn.

Abstract

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<a}$, ${\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:

  1. ${\bf l<x<a}$; and

  2. ${\bf x'=s}$

.

Type
Paper
Copyright
2006 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)