期刊文章
结构相对于等效物的度谱
摘要: -
捕捉可数结构同构类型固有复杂性的标准方法是考虑给定结构具有可计算同构副本的所有图灵度集。 这组被称为结构的度谱。 类似地,为了描述一个理论模型的复杂性,人们可以检查与该理论具有可计算模型相关的所有度的集合。 这样一组度称为理论的度谱。 我们。。。 展开摘要
发布状态: 出版
同行评审状态: 同行评审
行动
Access文档
-
文件夹: -
作者
书目详细信息
出版商: -
Springer Verlag公司 日志: -
代数与逻辑 本杂志的更多信息 体积: 58 问题: 2 页: 158–172 出版日期: 2019-07-20 验收日期: 2019-07-09 内政部: 国际标准编号: -
1573-8302和0002-5232
项目描述
关键词: 酒吧编号: -
酒吧:1041555 用户识别码: -
uuid:66ac16cd-8f83-40d3-ba23-5f0460ce7c7c 本地pid: -
酒吧:1041555 源标识符: -
1041555 存款日期: -
2019-09-18
使用条款
版权所有人: Springer Science+Business Media有限责任公司 版权日期: 2019 权利声明: ©2019 Springer Science+Business Media,LLC版权所有 笔记: 这是文章的公认手稿版本。 最终版本可从Springer获得,网址为: https://doi.org/10.1007/s10469-019-09534-2
许可证: -
牛津大学研究档案使用条款和条件