约翰·奇索姆；叶卡捷琳娜·福基纳。；谢尔盖·S·贡查罗夫。；瓦伦蒂娜·S·哈里扎诺夫。；朱莉娅·奈特。；萨拉·奎因 复杂性的内在界限和极限水平的可定义性。 （英语） Zbl 1201.03019号 J.塞姆。日志。 74，第3期，1047-1060（2009）. 如果与结构同构的每个可计算结构都与它同构，则称该结构为可计算范畴。该结构称为相当地可计算的绝对条件是，这一说法对所有神谕都成立。例如，没有端点的密集线性排序是相对可计算的范畴。很久以前，Goncharov证明了结构（{mathcal a}）是相对可计算的范畴，如果它有一个c.e.Scott家族。此外，有些结构是可计算的，没有这样的族，因此概念不同。Ash和Knight将该材料扩展到了\（Delta_\alpha^0）-范畴和\（Sigma_\alfa^0）-Scott族，其中\（alpha）是一个（表示a）可计算序数。S.Goncharov、V.Harizanov、J.Knight、C.McCoy、R.Miller和R.所罗门【Ann.Pure Appl.Logic 136，No.3，219–246（2005；Zbl 1081.03033号)]证明了对于极限序数，存在着非相对范畴的（Delta\alpha^0）范畴结构，本文通过对极限序数的展示来完成这一图景。该方法使用族的编码和“\（\alpha\）-system参数”。审核人：罗德尼·唐尼（惠灵顿） 引用于1审查引用于14文件 MSC公司： 03C57号 可计算结构理论 03C35号 理论的分类和完整性 关键词：可计算结构；相对可计算的范畴；极限序数 引文：Zbl 1081.03033号 软件：CALA公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Chisholm}等人，J.Symb。日志。74，第3号，1047--1060（2009；Zbl 1201.03019） 全文： 内政部 参考文献： [1] 内政部：10.1016/0168-0072（89）90015-8·Zbl 0678.03012号 ·doi:10.1016/0168-0072（89）90015-8 [2] 可计算结构与超算术层次结构（2000）·Zbl 0960.03001号 [3] DOI:10.1090/S0002-9947-1990-0955487-0·doi:10.1090/S0002-9947-1990-0955487-0 [4] 递归线性序56 pp 673的构造–（1991）·Zbl 0742.03013号 [5] 有效有限递归线性序的Tennenbaum定理的推广49 pp 563–（1984）·Zbl 0585.03015号 [6] DOI:10.1002/malq.19960420139·兹比尔0859.03016 ·doi:10.1002/malq.19960420139 [7] 代数与逻辑16 pp 129–（1977） [8] 递归函数和有效可计算性理论（1967）·兹比尔0183.01401 [9] 69页585中的关系和路径–（2004） [10] 几乎范畴递归模型理论中的技巧和反例（1982） [11] DOI:10.1016/j.apal.2005.02.001·Zbl 1081.03033号 ·doi:10.1016/j.apal.2005.02.001 [12] 代数与逻辑16 pp 257–（1977） [13] 有效模型理论与递归模型理论55 pp 1168–（1990） [14] 代数与逻辑15 pp 205–（1976） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。