• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Computability: the journal of the Association Ci >Extending Cooper's theorem to ?_3~0 Turing degrees
【24h】

Extending Cooper's theorem to ?_3~0 Turing degrees

机译：将Cooper的定理扩展到？_3〜0图灵度

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In 1971 B. Cooper proved that there exists a 2-c.e. Turing degree which doesn't contain a c.e. set. Thus, he showed that the second level of the Ershov hierarchy is proper. In this paper we investigate proper levels of some extensions of the Ershov hierarchy to higher levels of the arithmetical hierarchy. Thus we contribute to the theory of ?_3~0 -degrees by extending Cooper's theorem to some levels of the fine hierarchy within ?_3~0 -sets.
机译：1971年，Cooker证明存在2-C.E。 不包含C.E的程度。 放。 因此，他表明，ERShov等级的第二级是合适的。 在本文中，我们调查了ERShov等级的一些延伸水平，以更高水平的算术层次。 因此，我们通过将Cooper的定理扩展到某些级别的细层段内的某些级别的细分阶段，贡献？_3〜0 -degrees的理论。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号