Joining to High Degrees

  • Authors:
  • Jiang Liu;Guohua Wu

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

  • Venue:
  • CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Cholak, Groszek and Slaman proved in [1] that there is a nonzero computably enumerable (c.e.) degree cupping every low c.e. degree to a low c.e. degree. In the same paper, they pointed out that every nonzero c.e. degree can cup a low2c.e. degree to a nonlow2degree. In [2], Jockusch, Li and Yang improved the latter result by showing that every nonzero c.e. degree cis cuppable to a high c.e. degree by a low2c.e. degree b. It is natural to ask in which subclass of low2c.e. degrees bin [2] can be located. Wu proved [6] that bcan be cappable. We prove in this paper that bin Jockusch, Li and Yang's result can be noncuppable, improving both Jockusch, Li and Yang, and Wu's results.