Hostname: page-component-6bf8c574d5-956mj Total loading time: 0 Render date: 2025-02-21T01:03:06.794Z 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.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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