On the C.E. degrees realizable in II⁰₁ classes

• Main Authors: Csima, Barbara F., Downey, Rod, Ng, Keng Meng
• 其他作者: School of Physical and Mathematical Sciences
• 格式: Article
• 語言: English
• 出版: 2023
• 主題: Science::Mathematics; Effectively Closed Sets; Computably Enumerable Degrees
• 在線閱讀: https://hdl.handle.net/10356/171806
• 機構: Nanyang Technological University

We study for each computably bounded Π01 class P the set of degrees of c.e. paths in P. We show, amongst other results, that for every c.e. degree a there is a perfect Π01 class where all c.e. members have degree a. We also show that every Σ03 set of c.e. indices is realized in some perfect Π01 clas...