The method of the Yu–Ding Theorem and its application
Yun Fan · Mathematical Structures in Computer Science · 2009
We begin by reviewing the major results dealing with the structure of the cl-degrees, and then focus on the method of the Yu–Ding Theorem, which is an important result in this area. By strengthening the Yu–Ding procedure, we construct a cl-cuppable cl-degree of c.e. sets.