...
首页> 外文期刊>Journal of Symbolic Logic >On Sigma(1)-structural differences among finite levels of the Ershov hierarchy
【24h】

On Sigma(1)-structural differences among finite levels of the Ershov hierarchy

机译:关于Ershov层次的有限层之间的Sigma(1)-结构差异

获取原文
获取原文并翻译 | 示例

摘要

We show that the structure R of recursively enurnerable degrees is not a Sigma(1)-elementary substructure of D-n, where D-n (n > 1) is the structure of n-r.e. degrees in the Ershov hierarchy.
机译:我们证明递归可数度的结构R不是D-n的Sigma(1)元素子结构,其中D-n(n> 1)是n-r.e的结构。 Ershov层次结构中的学位。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号