首页> 外文期刊>Computability: the journal of the Association Ci >Lowness for isomorphism and degrees of genericity
【24h】

Lowness for isomorphism and degrees of genericity

机译:为同构和常见程度的壮丽程度

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

摘要

A Turing degree d is said to be low for isomorphism if whenever two computable structures are d-computably isomorphic, then they are actually computably isomorphic. We construct a real that is 1-generic and low for isomorphism but not computable from a 2-generic and thus provide a counterexample to Franklin and Solomon’s conjecture that the properly 1-generic degrees are neither low for isomorphism nor degrees of categoricity.
机译:如果每当两个可计算的结构是D-计算地同构同位,则据说一个图灵D度D对于同构次数,因此它们实际上是计算的。 我们构建一个真实的,对于同构,但不可从2通用计算,从而为富兰克林和所罗门的猜想提供了一个反射,即适当的1通度既不低于同构既不低的同构均不足,也不是分类程度。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号