• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of logic and computation >Non-cuppable enumeration degrees via finite injury
【24h】

Non-cuppable enumeration degrees via finite injury

机译：有限损伤导致的不可累积枚举度

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

摘要

We exhibit finite injury constructions of a high Σ_2~0 enumeration degree incomparable with all intermediate Δ_2~0 enumeration degrees, as also of both an upwards properly Σ_2~0 high and a low_2 non-cuppable Σ_2~0 enumeration degree. We also outline how to apply the same methods to prove that, for every Σ_2~0 enumeration degree b there exists a non-cuppable degree a such that V ≤a' and a" ≤ b", thus showing that there exist non-cuppable Σ_2~0 enumeration degrees at every possible level of the high/low jump hierarchy.
机译：我们表现​​出有限的损伤构造，其高Σ_2〜0枚举度与所有中间Δ_2〜0枚举度无可比拟，同时也表现出适当的向上Σ_2〜0高和低_2不可累积Σ_2〜0枚举度。我们还概述了如何应用相同的方法来证明，对于每个Σ_2〜0枚举度b，存在一个不可杯度a，使得V≤a'和a“≤b”，从而表明存在不可杯度上下跳变层次的每个可能级别上的Σ_2〜0枚举度。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号