Degree spectra of the successor relation of computable linear orderings

Archive for Mathematical Logic(2008)

引用 11|浏览4
暂无评分
摘要
We establish that for every computably enumerable (c.e.) Turing degree b the upper cone of c.e. Turing degrees determined by b is the degree spectrum of the successor relation of some computable linear ordering. This follows from our main result, that for a large class of linear orderings the degree spectrum of the successor relation is closed upward in the c.e. Turing degrees.
更多
查看译文
关键词
03C57,03D45,06A05
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要