relative enumerability
Recently Published Documents


TOTAL DOCUMENTS

5
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

2011 ◽  
Vol 76 (3) ◽  
pp. 897-913 ◽  
Author(s):  
Wei Wang

AbstractA set of natural numbers B is computably enumerable in and strictly above (or c.e.a. for short) another set C if C <TB and B is computably enumerable in C. A Turing degree b is c.e.a. c if b and c respectively contain B and C as above. In this paper, it is shown that if b is c.e.a. c then b is c.e.a. some 1-generic g.


2008 ◽  
Vol 84 (3-4) ◽  
pp. 473-482
Author(s):  
I. I. Batyrshin

2000 ◽  
Vol 39 (3) ◽  
pp. 145-154 ◽  
Author(s):  
Shamil Ishmukhametov

1998 ◽  
Vol 63 (2) ◽  
pp. 411-420 ◽  
Author(s):  
Marat M. Arslanov ◽  
Geoffrey L. Laforte ◽  
Theodore A. Slaman

AbstractWe show that the intersection of the class of 2-REA degrees with that of the ω-r.e. degrees consists precisely of the class of d.r.e. degrees. We also include some applications and show that there is no natural generalization of this result to higher levels of the REA hierarchy.


1975 ◽  
Vol 40 (2) ◽  
pp. 130-140 ◽  
Author(s):  
Leonard P. Sasso

Partial degrees are equivalence classes of partial natural number functions under some suitable extension of relative recursiveness to partial functions. The usual definitions of relative recursiveness, equivalent in the context of total functions, are distinct when extended to partial functions. The purpose of this paper is to compare the upper semilattice structures of the resulting degrees.Relative partial recursiveness of partial functions was first introduced in Kleene [2] as an extension of the definition by means of systems of equations of relative recursiveness of total functions. Kleene's relative partial recursiveness is equivalent to the relation between the graphs of partial functions induced by Rogers' [10] relation of relative enumerability (called enumeration reducibility) between sets. The resulting degrees are hence called enumeration degrees. In [2] Davis introduces completely computable or compact functionals of partial functions and uses these to define relative partial recursiveness of partial functions. Davis' functionals are equivalent to the recursive operators introduced in Rogers [10] where a theorem of Myhill and Shepherdson is used to show that the resulting reducibility, here called weak Turing reducibility, is stronger than (i.e., implies, but is not implied by) enumeration reducibility. As in Davis [2], relative recursiveness of total functions with range ⊆{0, 1} may be defined by means of Turing machines with oracles or equivalently as the closure of initial functions under composition, primitive re-cursion, and minimalization (i.e., relative μ-recursiveness). Extending either of these definitions yields a relation between partial functions, here called Turing reducibility, which is stronger still.


Sign in / Sign up

Export Citation Format

Share Document