Cupping and jump classes in the computably enumerable degrees

We show that there is a cuppable c.e. degree, all of whose cupping partners are high. In particular, not all cuppable degrees are -cuppable, or indeed cuppable for any n, refuting a conjecture by Li. On the other hand, we show that one cannot improve highness to superhighness. We also show that the...

全面介紹

Saved in:
書目詳細資料
Main Authors: Greenberg, Noam, Ng, Keng Meng, Wu, Guohua
其他作者: School of Physical and Mathematical Sciences
格式: Article
語言:English
出版: 2022
主題:
在線閱讀:https://hdl.handle.net/10356/154823
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!

相似書籍