On a hierarchy of plus-cupping degrees

  • Authors:
  • Shenling Wang;Guohua Wu

  • Affiliations:
  • School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore;School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore

  • Venue:
  • CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Greenberg, Ng and Wu proved in a recent paper the existence of a cuppable degree a that can be cupped to 0′ by high degrees only. A corollary of this result shows that such a degree a can be high, and hence bounds noncuppable degrees. In this paper, we prove the existence of a plus-cupping degree which can only be cupped to 0′by high degrees. This refutes Li-Wang's claim that every plus-cupping degree is 3-plus-cupping, where a nonzero c. e. degree a is n-plus-cupping if for every c. e. degree x with 0 n c. e. degree y such that x ∨ y = 0′.