• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Conference on Computability in Europe(CiE 2005); 20050608-12; Amsterdam(NL) >Symmetric Enumeration Reducibility
【24h】

Symmetric Enumeration Reducibility

机译：对称枚举约简

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

摘要

Symmetric Enumeration reducibility (≤ _(se)) is a subrelation of Enumeration reducibility (≤ _e) in which both the positive and negative information content of sets is compared. In contrast with Turing reducibility (≤ _T) however, the positive and negative parts of this relation are separate. A basic classification of ≤ _(se) in terms of standard reducibilities is carried out and it is shown that the natural embedding of the Turing degrees into the Enumeration degrees easily translates to this context. A generalisation of the relativised Arithmetical Hierarchy is achieved by replacing the relation c.e. in by ≤ _e and ≤ _T by ≤ _(se) in the underlying framework of the latter.
机译：对称枚举可约性（≤_（se））是枚举可约性（≤_e）的子关系，其中比较集合的正信息内容和负信息内容。但是，与图灵可简化性（≤_T）相比，该关系的正负部分是分开的。根据标准可归约性对≤_（se）进行了基本分类，结果表明，图灵度向枚举度的自然嵌入很容易转化为这种情况。通过替换关系c.e，可以实现相对论的算术层次结构的一般化。在后者的基本框架中，in≤_e且≤_T≤_（se）。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号