A hierarchy for the plus cupping Turing degrees

Yong Wang,Angsheng Li
DOI: https://doi.org/10.2178/jsl/1058448450
2003-01-01
Journal of Symbolic Logic
Abstract:We say that a computably enumerable (c. c.) degree a is plus-cupping, if for every c.e. degree x with 0 < x less than or equal to a, there is a c. e. degree y not equal 0' such that x boolean OR y = 0'. We say that a is n-plus-cupping, if for every c. e. degree x, if 0 < x less than or equal to a, then there is a town c. e. degree I such that x boolean OR 1 = 0'. Let PC and PCn be the set of all plus-cupping, and n-plus-cupping c. e. degrees respectively. Then PC, C PC2 subset of or equal to PC3 = PC. In this paper we show that PC1 subset of PC2, so giving a nontrivial hierarchy for the plus cupping degrees. The theorem also extends the result of Li, Wu and Zhang [14] showing that LC1 subset of LC2, as well as extending the Harrington plus-cupping theorem [8].
What problem does this paper attempt to address?