On the definable ideal generated by the plus cupping c.e. degrees

In this paper we will prove that the plus cupping degrees generate a definable ideal on c.e. degrees different from other ones known so far, thus answer a question asked by A. Li and Yang.

• Type: Journal
• Year: 2007
• Where: AML
• Authors: Wei Wang, Decheng Ding
• Keywords: AML 2007, Definable Ideal, Paper, Plus Cupping Degrees