×
谢尔盖·冈查洛夫;瓦伦蒂娜·哈里扎诺夫;朱莉娅·奈特;查尔斯·麦考伊;罗素·米勒;里德·所罗门

可计算结构理论中的枚举。 （英语） Zbl 1081.03033号

Ann.纯粹应用。逻辑 136，第3期，219-246（2005）.
在本文中，作者表明，对于每个可计算的后继序数（alpha），都有一个可计算的结构，它是（Delta{alpha}^0）-范畴的，而不是相对的（Delta_{alpha{^0）–范畴的。此外，还证明了对于每个可计算的后继序数（alpha）和每个自然数（ngeq1），都有一个可计算结构，它具有精确的可计算副本，最多可达（Delta{alpha}^0）-同构。最后，作者证明了对于每一个可计算的后继序数\（\alpha\），都有一个仅在集合（X\）的度数中具有副本的结构，使得\（\Delta_{\alpha}^0（X）\）不是\（\Delta_{\ alpha}^0）。特别是，对于每个自然数（n \geq 1），都有一个结构，其副本仅为非低（n）度。
审核人：Marat M.Arslanov（喀山）

引用于6评论
引用于47文件

MSC公司：

03C57号 可计算结构理论
03D45号 计算理论，有效呈现结构

关键词：

可计算结构;分类;斯科特家族;刚性结构
PDF格式BibTeX公司 XML格式引用
\textit{S.Goncharov}等人，Ann.Pure Appl。逻辑136，No.3，219--246（2005；Zbl 1081.03033）
全文： DOI程序

参考文献：

[1] Ash，C.J.，超算术程度中的分类，《纯粹逻辑和应用逻辑年鉴》，34，1-14（1987）·Zbl 0617.03016号
[2] Ash，C.J.，递归线性次序的构造，符号逻辑杂志，56，673-683（1991）·Zbl 0742.03013号
[3] Ash，C.J。；Knight，J.F.，递归结构对，《纯粹逻辑和应用逻辑年鉴》，46，211-234（1990）·兹比尔0712.03020
[4] Ash，C.J。；Knight，J.F.，《可计算结构和超算术层次》（2000），爱思唯尔：爱思唯尔阿姆斯特丹·Zbl 0960.03001号
[5] 灰分，C。；奈特，J。；马纳塞，M。；Slaman，T.，可数结构的一般副本，《纯粹与应用逻辑年鉴》，42195-205（1989）·Zbl 0678.03012号
[6] Ash，C.J。；Nerode，A.，《内在递归关系》，（Crossley，J.N.，《有效代数方面》（1981），《倒置A Book Co.》，《Steel's Creek:倒置A Book Co.，澳大利亚Steel's Riek》），26-41·Zbl 0467.03041号
[7] Barker，E.，《内在（Sigma_\alpha^0）关系》，《纯粹逻辑与应用逻辑年鉴》，39，105-130（1988）·Zbl 0651.03034号
[8] Chisholm，J.，《有效模型理论与递归模型理论》，《符号逻辑杂志》，55，1168-1191（1990）·兹比尔0722.03030
[9] 乔拉克，P。；Goncharov，S。；库萨诺夫，B。；Shore，R.A.，可计算范畴结构和常数展开，符号逻辑杂志，64，13-37（1999）·Zbl 0928.03040号
[10] 于尔肖夫（Yu Ershov）。L.，《数字理论》（1977年），《Nauka:Nauka Moscow》（俄语）·Zbl 0427.03037号
[11] 于尔肖夫（Yu Ershov）。法律。；Goncharov，S.S.，《建构模型》（2000），西伯利亚代数与逻辑学院，Kluwer学术出版社/Plenum出版社，（英文翻译）·Zbl 0954.03036号
[12] Goncharov，S.S.，《非自动等价构造的数量，代数与逻辑》，第16卷，第257-282页（1977年），（俄语），第169-185页（英语翻译）·Zbl 0407.03040号
[13] Goncharov，S.S.，《可计算单值计数、代数和逻辑》，19，507-551（1980），（俄语），325-356（英语翻译）·Zbl 0514.03029号
[14] Harizanov，V.S.，《纯可计算模型理论》（Ershov，Yu.L.；Goncharov，S.S.；Nerode，A.；Remmel，J.B.；Marek，V.W.，《递归数学手册》，第1卷（1998），Elsevier:Elsevier Amsterdam），3-114·Zbl 0952.03037号
[15] C.R.Karp，《无限长表达式的语言》，南加州大学博士论文，1959年；C.R.Karp，《无限长表达式的语言》，南加州大学博士论文，1959年·Zbl 0127.00901号
[16] Keisler，H.J.，《无限逻辑的模型理论》（1971），北荷兰：北荷兰阿姆斯特丹·Zbl 0222.02064号
[17] Khoussainov，B。；Shore，R.A.，《有效模型理论：模型的数量及其复杂性》，（Cooper，S.B.；Truss，J.K.，《模型与可计算性》，《模型和可计算性，1997年逻辑学术讨论会特邀论文》。模型和可计算性。模型和可计算性，1997年逻辑学术讨论会特邀论文，伦敦数学学会讲座笔记系列，第259卷（1999），剑桥大学出版社：剑桥大学出版社，193-239·Zbl 0940.03045号
[18] M.S.Manasse，《几乎范畴递归模型理论中的技术与反例》，威斯康星大学麦迪逊分校博士论文，1982年；M.S.Manasse，《几乎范畴递归模型理论中的技术与反例》，威斯康星大学麦迪逊分校博士论文，1982年
[19] Marchenkov，S.S.，《一般递归函数族的可计算计数》，代数与逻辑，11588-607（1972），（俄语），326-336（英语翻译）·Zbl 0282.02015号
[20] McCoy，C.F.D.，《有限可计算维度不相对化》，《数理逻辑档案》，41，309-320（2002）·Zbl 1023.03040号
[21] Scott，D.，具有数不胜数的长公式和有限的量词串的逻辑，（Addison，J.W.；Henkin，L.；Tarski，A.，模型理论（1965），北荷兰），329-341·Zbl 0166.26003号
[22] Selivanov，V.L.，一般递归函数族的枚举，代数与逻辑，15，205-226（1976），（俄语），128-141（英语翻译）·Zbl 0358.02051号
[23] Slaman，T.A.，相对于任何非递归集，《美国数学学会学报》，1262117-2122（1998）·Zbl 0894.03017号
[24] Soskov，I.N.，本质超算术集合，《数理逻辑季刊》，42469-480（1996）·Zbl 0859.03016号
[25] Wehner，S.，《枚举、可数结构和图灵度》，《美国数学学会学报》，1262131-2139（1998）·Zbl 0906.03044号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。