...
首页> 外文期刊>Siberian Mathematical Journal >Computability of Distributive Lattices
【24h】

Computability of Distributive Lattices

机译:分配格子的可计算性

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

摘要

The class of (not necessarily distributive) countable lattices is HKSS-universal, and it is also known that the class of countable linear orders is not universal with respect to degree spectra neither to computable categoricity. We investigate the intermediate class of distributive lattices and construct a distributive lattice with degree spectrum {d: d not equal 0}. It is not known whether a linear order with this property exists. We show that there is a computably categorical distributive lattice that is not relatively Delta(2) (0)-categorical. It is well known that no linear order can have this property. The question of the universality of countable distributive lattices remains open.
机译:(不一定分配)可数格子的类是HKSS-Universal的,并且还已知对可数线性终端性的类别与可计算分类的程度谱相对于程度的程度。 我们研究了分配格子的中间类别,并用程度谱构造了分布晶格{D:D不等于0}。 不知道是否存在具有此属性的线性顺序。 我们表明,存在的可计算地分类分布晶格,其不是相对Δ(2)(0) - 类别。 众所周知,没有线性顺序可以具有此属性。 可数分配格子普遍性的问题仍然是开放的。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号