Weakly Semirecursive Sets
Jockusch, Carl G. ; Owings, James C.
J. Symbolic Logic, Tome 55 (1990) no. 1, p. 637-644 / Harvested from Project Euclid
We introduce the notion of "semi-r.e." for subsets of $\omega$, a generalization of "semirecursive" and of "r.e.", and the notion of "weakly semirecursive", a generalization of "semi-r.e.". We show that $A$ is weakly semirecursive iff, for any $n$ numbers $x_1,\ldots,x_n$, knowing how many of these numbers belong to $A$ is equivalent to knowing which of these numbers belong to $A$. It is shown that there exist weakly semirecursive sets that are neither semi-r.e. nor co-semi-r.e. On the other hand, we exhibit nonzero Turing degrees in which every weakly semirecursive set is semirecursive. We characterize the notion "$A$ is weakly semirecursive and recursive in $K$" in terms of recursive approximations to $A$. We also show that if a finite Boolean combination of r.e. sets is semirecursive then it must be r.e. or co-r.e. Several open questions are raised.
Publié le : 1990-06-14
Classification: 
@article{1183743320,
     author = {Jockusch, Carl G. and Owings, James C.},
     title = {Weakly Semirecursive Sets},
     journal = {J. Symbolic Logic},
     volume = {55},
     number = {1},
     year = {1990},
     pages = { 637-644},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743320}
}
Jockusch, Carl G.; Owings, James C. Weakly Semirecursive Sets. J. Symbolic Logic, Tome 55 (1990) no. 1, pp.  637-644. http://gdmltest.u-ga.fr/item/1183743320/