谷歌浏览器插件
订阅小程序
在清言上使用

On cototality and the skip operator in the enumeration degrees

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY(2019)

引用 9|浏览11
暂无评分
摘要
A set A subset of omega is cototal if it is enumeration reducible to its complement, (A) over bar. The skip of A is the uniform upper bound of the complements of all sets enumeration reducible to A. These are closely connected: A has cototal degree if and only if it is enumeration reducible to its skip. We study cototality and related properties, using the skip operator as a tool in our investigation. We give many examples of classes of enumeration degrees that either guarantee or prohibit cototality. We also study the skip for its own sake, noting that it has many of the nice properties of the Turing jump, even though the skip of A is not always above A (i.e., not all degrees are cototal). In fact, there is a set that is its own double skip.
更多
查看译文
关键词
enumeration degrees,cototality,skip operator
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要