Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities

JOURNAL OF LOGIC AND COMPUTATION(2023)

引用 0|浏览0
暂无评分
摘要
We consider three strong reducibilities, s(1), s(2), Q(1) (where we identify a reducibility <=(r) with its index r). The first two reducibilities can be viewed as injective versions of s-reducibility, whereas Q(1)-reducibility can be viewed as an injective version of Q-reducibility. We have, with proper inclusions, s(1) subset of s(2) subset of s. It is well known that there is no minimal s-degree, and there is no minimal Q-degree. We show on the contrary that there exist minimal Delta(0)(2) s(2) -degrees and minimal Delta(0)(2) s(1)-degrees. On the other hand, both the Pi(0)(1) s(2) -degrees and the Pi(0)(1) s(1)-degrees are downwards dense. By the isomorphism of the s(1)-degrees with the Q(1)-degrees induced by complementation of sets, it follows that there exist minimal Delta(0)(2) Q(1)-degrees, but the c.e. Q(1)-degrees are downwards dense.
更多
查看译文
关键词
s-reducibility, s(1)-reducibility, s(2)-reducibility, Q-reducibility, Q(1)-reducibility
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要