首页> 外文会议>Ninth International Conference on Computer Science and Information Technologies >On the existence of the tt-mitotic Low Set, which is not btt-mitotic
【24h】

On the existence of the tt-mitotic Low Set, which is not btt-mitotic

机译:关于tt有丝分裂低集的存在,它不是btt有丝分裂

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

摘要

Let us adduce some definitions: If a computably enumerable (ce.) set A is a disjoint union of two sets B and C, then we say that B, C is a ce. splitting of A. A c.e. set A is tt-mitotic (btt-mitotic) if there is a ce. Splitting (B, Q of A such that the sets B and C both belong to the same tt- (btt-) degree of unsolvability, as the set A. In this paper it is proved, that there exists a tt-mitotic low set, which is not oft-mitotic.
机译:让我们得出一些定义:如果一个可计算的(ce。)集合A是两个集合B和C的不相交的并集,那么我们说B,C是一个ce。 A.A. c.e.的分裂如果有ce,则集合A为tt-有丝分裂(btt-有丝分裂)。分裂(A的B,Q,使得集合B和C都与集合A属于相同的tt-(btt-)不可解度。在本文中证明,存在一个tt有丝分裂低集合,这不是经常有丝分裂的。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号