On the definable ideal generated by the plus cupping c.e. degrees |
| |
| Authors: | Wei Wang Decheng Ding |
| |
| Affiliation: | (1) Department of Mathematics, Nanjing University, Nanjing, 210093, People’s Republic of China |
| |
| Abstract: | 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 answering a question asked by Li and Yang (Proceedings of the 7th and the 8th Asian Logic Conferences. World Scientific Press, Singapore, 2003). |
| |
| Keywords: | Computably enumerable degrees Plus cupping degrees Definable ideals |
| 本文献已被 SpringerLink 等数据库收录！ |
|
