Cupping Classes of $\Sigma^0_2$ Enumeration Degrees

  • Authors:

  • Mariya Ivanova Soskova

  • Affiliations:

  • Department of Pure Mathematics, University of Leeds, Leeds, U.K. LS2 9JT

  • 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

We prove that no subclass of the $\Sigma^0_2$ enumeration degrees containing the nonzero 3-c.e. enumeration degrees can be cupped to 0e驴by a single incomplete $\Sigma^0_2$ enumeration degree.