...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of knot theory and its ramifications >Computable isomorphisms for certain classes of infinite graphs
【24h】

Computable isomorphisms for certain classes of infinite graphs

机译：某些类无限图表的可计算同构

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

摘要

We investigate (2,1):1 structures, which consist of a countable set A together with a function f : A - A such that for every element x in A, f maps either exactly one element or exactly two elements of A to x. These structures extend the notions of injection structures, 2:1 structures, and (2,0):1 structures studied by Cenzer, Harizanov, and Remmel, all of which can be thought of as infinite directed graphs. We look at various computability-theoretic properties of (2,1):1 structures, must notably that of computable categoricity. We say that a structure A is computably categorical if there exists a computable isomorphism between any two computable copies of A. We give a sufficient condition under which a (2,1):1 structure is computably categorical, and present some examples of (2,1):1 structures with different computability-theoretic properties.
机译：我们调查（2,1）：1结构，该结构由可数集合与功能F：A - ＆GT组成; 对于每个元素x，f的恰好地映射到恰好一个元素或恰好两个元素。 这些结构延伸了注射结构的概念，2：1结构，（2,0）：由CENZER，HARIZANOV和REMMEL研究的1个结构，所有这些结构都可以被认为是无限的指导图。 我们看出（2,1）：1结构的各种可计算性 - 理论性质，必须特别是可计算的分类。 我们说，如果A的任何两个可计算副本之间存在可计算的同构，则可以提供一个结构a。我们给出了足够的条件，其中a（2,1）：1结构是可计算地分类的，并且存在于（2 1）：1个具有不同可计算性 - 理论性质的结构。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号