Back to Search
Start Over
The upper semilattice of degrees = 0' is complemented
- Source :
- Journal of Symbolic Logic; December 1981, Vol. 46 Issue: 4 p705-713, 9p
- Publication Year :
- 1981
-
Abstract
- Let denote the set of degrees = 0'. A degree a= 0' is said to be complementedin if there exists a degree b= 0' such that b? a= 0' and bn a= 0. R.W. Robinson (cf. [11]) showed that every degree a= 0' satisfying a? = 0? is complemented in and the author [8] showed that every degree a= 0' satisfying a' = 0? is complemented in . Also, in [2], R. L. Epstein showed that every r.e. degree is complemented in . In this paper we will show that in fact every degree = 0' is complemented in . We will further show that the same is true in the upper semilattice of degrees = c, where cis any complete degree. This is in contrast to the situation in the upper semilattice of r.e. degrees in which, as Lachlan [6] has shown, no degree other than 0and 0' is complemented.
Details
- Language :
- English
- ISSN :
- 00224812
- Volume :
- 46
- Issue :
- 4
- Database :
- Supplemental Index
- Journal :
- Journal of Symbolic Logic
- Publication Type :
- Periodical
- Accession number :
- ejs40652504
- Full Text :
- https://doi.org/10.2307/2273220