• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Conference on Computability in Europe(CiE 2005); 20050608-12; Amsterdam(NL) >On a Question of Sacks — A Partial Solution on the Positive Side
【24h】

On a Question of Sacks — A Partial Solution on the Positive Side

机译：关于麻袋问题-积极方面的部分解决方案

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

摘要

Let us say that a c.e. operator E is degree invariant on any given Turing degree a if X, Y ∈ a → E(X) ≡_T E(Y). In [4] we construct a c.e. operator E such that anyX[X <_T E(X) <_T X′]. While we are unable to produce degree invariance everywhere, we are able to ensure that for every degree a there exists b such that a ∨ 0′ = b ∨ 0′ and E is degree invariant on b. What appears here is an abbreviated version of the material from that paper, stopping short of most technical details.
机译：让我们说一个ce如果X，Y∈a→E（X）≡_TE（Y），则算子E在任何给定的图灵度a上都是度不变的。在[4]中，我们构造了一个c.e.运算符E，使得anyX [X <_T E（X）<_T X']。虽然我们无法在任何地方产生度不变，但我们能够确保每个度a都存在b，使得a∨0'= b∨0'并且E是b的度不变。此处出现的是该论文材料的缩写形式，缺少大多数技术细节。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号