×
Goncharov，S.S。;V·哈里扎诺夫。;R·米勒。

关于可判定范畴和几乎素数模型。 （英文） Zbl 1446.03069号

同胞。高级数学。 30，第3期，200-212（2020）.
摘要：可计算和可判定结构同构的复杂性在可计算模型理论中起着重要作用。第一作者【Proc.Steklov Inst.Math.274，105–115（2011；兹比尔1294.03025); 翻译自Tr.Mat.Inst.Steklova 274、119–129（2011）]定义了可判定分类度可判定模型（mathcal{M}）的最小图灵度，如果存在的话，它能够计算（mathcal{M}\）的任意可判定副本之间的同构。如果这个度是\（\mathbf{0}\），我们说结构\（\mathcal{M}\）是绝对明确的Goncharov证明了每一个可计算的可数度都是素数模型的范畴度，Bazhenov证明了存在一个没有范畴度的素数模型。在这里，我们研究了添加常数的各种素数模型的分类程度，也称为几乎素数模型我们将几乎素模型（mathcal{M}）的可判定范畴度与完备公式集（C（mathcal{M}）的图灵度联系起来。我们还研究了一致可判定范畴，用（mathcal{M}）的素性和（C（mathcal{M}）到（mathcali{M}\）理论的图灵可约性来刻画它。

引用于1文件

MSC公司：

03C57号 可计算结构理论
03C35号 理论的分类和完整性
03D45号 计算理论，有效呈现结构

关键词：

可判定理论;可计算模型;可判定模型;基本模型;几乎素数模型;完整公式;图灵度;可判定分类度;一致可判定范畴

引文：

Zbl 1294.03025号
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Goncharov}等人，Sib。高级数学。30，第3号，200--212（2020；Zbl 1446.03069）
全文： 内政部

参考文献：

[1] 安德森，B。；Csima，B.，非分类度，圣母院J.Form.Log。，57, 389 (2016) ·Zbl 1436.03229号 ·doi:10.1215/00294527-3496154
[2] Bazhenov，N.A.，超原子布尔代数的范畴度，代数对数。，52, 179 (2013) ·Zbl 1315.03052号 ·doi:10.1007/s10469-013-9233-x
[3] Bazhenov，N.A.，（Delta_2^0）-布尔代数的范畴，J.Math。科学。，203, 444 (2014) ·doi:10.1007/s10958-014-2148-9
[4] Bazhenov，N.A.，布尔代数的自稳定谱，代数对数。，53, 502 (2015) ·Zbl 1355.03028号 ·doi:10.1007/s10469-015-9311-3
[5] N.Bazhenov，“相对于强构造，没有自稳程度的素数模型”，载于《进化可计算性》，A.Beckmann、V.Mitrana和M.Soskova编辑，《计算讲义》。科学。9136（施普林格，柏林，2015），117·Zbl 1461.03027号
[6] Bazhenov，N.A.，布尔代数相对于强构造的自稳定度，代数对数。，55, 87 (2016) ·Zbl 1402.03064号 ·doi:10.1007/s10469-016-9381-x
[7] Bazhenov，N.A.，线性序和线性序Abelian群的自稳定度，代数对数。，55, 257 (2016) ·Zbl 1402.03065号 ·doi:10.1007/s10469-016-9395-4
[8] Bazhenov，N.A。；Kalimullin，I.Sh。；Yamaleev，M.，分类度和谱维，J.符号。日志。，83, 103 (2018) ·Zbl 1447.03008号 ·doi:10.1017/jsl.2017.70
[9] Bazhenov，N。；Goncharov，S。；Melnikov，A.，可判定阿贝尔群的分解，国际。代数计算杂志。，30, 49 (2020) ·Zbl 1516.03012号 ·doi:10.1142/S0218196719500644
[10] N.A.Bazhenov和M.I.Marchuk，素数模型和齐次模型的分类度，收录于：计算世界中的航海路线，F.Manea、R.G.Miller和D.Nowotka编辑，《计算讲义》。科学。10936（施普林格，柏林，2018），第40页。
[11] Bazhenov，N.A。；Marchuk，M.I.，相对于强构造的自动稳定性程度，西伯利亚数学。J.，59，565（2018）·兹比尔1469.03102 ·doi:10.1134/S0037446618040018
[12] Cenzer，D。；Harizanov，V。；Remmel，J.，注入结构的可计算性理论性质，代数对数。，53, 39 (2014) ·Zbl 1323.03045号 ·doi:10.1007/s10469-014-9270-0
[13] Csima，B.F。；Stephenson，J.，《有限可计算维度和范畴度》，Ann.Pure Appl。日志。，170, 58 (2019) ·Zbl 1532.03063号 ·doi:10.1016/j.apal.2018年8月12日
[14] Csima，B.F。；Harrison-Trainor，M.，通过（eta）系统的锥上的分类度，J.Symb。日志。，82, 325 (2017) ·Zbl 1386.03049号 ·doi:10.1017/jsl.2016.43
[15] Csima，B.F。；纽约州J.Franklin。；Shore，R.A.，范畴度和超算术层次，圣母院J.Form.Log。，54, 215 (2013) ·Zbl 1311.03070号 ·doi:10.1215/00294527-1960479
[16] 唐尼，R.G。；Hirscheldt，D.R。；库萨诺夫，B.，可计算结构理论中的一致性，代数对数。，42, 318 (2003) ·兹比尔1063.03018 ·doi:10.1023/A:1025971406116
[17] Ershov，Y.L。；Goncharov，S.S.，《建筑模型》（2000），纽约：顾问局，纽约·Zbl 0954.03036号
[18] Fokina，E.B。；Goncharov，S.S。；Harizanov，V。；库迪诺夫，O.V。；Turetsky，D.，可判定结构分类相对于可判定表示的索引集，代数日志。，54, 336 (2015) ·Zbl 1375.03036号 ·doi:10.1007/s10469-015-9353-6
[19] E.Fokina、V.Harizanov和A.Melnikov，可计算模型理论，收录于《图灵的遗产》，R.Downey，编辑（剑桥大学出版社，2014年），第124页。
[20] Fokina，E。；Harizanov，V。；Turetsky，D.，《可计算性理论分类和Scott家族》，Ann.Pure Appl。日志。，170, 699 (2019) ·Zbl 1441.03031号 ·doi:10.1016/j.apal.2019.01.003
[21] Fokina，E。；Frolov，A。；Kalimullin，I.，刚性结构的分类谱，圣母院J.Form.Log。，57, 45 (2016) ·Zbl 1359.03030号 ·doi:10.1215/00294527-3322017年
[22] Fokina，E.B。；卡里穆林，I。；Miller，R.，可计算结构的分类度，Arch。数学。日志。，49, 51 (2010) ·Zbl 1184.03026号 ·文件编号：10.1007/s00153-009-0160-4
[23] J.N.Y.Franklin和R.Miller，《随机性和可计算类别》（编制中）。
[24] Frolov，A.N.，可计算线性序的有效分类，代数对数。，54, 415 (2015) ·Zbl 1361.03044号 ·doi:10.1007/s10469-015-9362-5
[25] Goncharov，S.S。；米勒，R。；Harizanov，V.，几乎素数模型完备公式的图灵度，代数对数。，58, 282 (2019) ·兹比尔1485.03112 ·doi:10.1007/s10469-019-09546-y
[26] Goncharov，S.S.，相对于强构造的自稳定度，Proc。斯特克洛夫数学研究所。，274, 105 (2011) ·Zbl 1294.03025号 ·doi:10.1134/S00815438110671
[27] Goncharov，S.S.，《关于强构造下几乎素数模型的自稳定性》，Russ.Math。调查。，65, 901 (2010) ·Zbl 1219.03038号 ·doi:10.1070/RM2010v065n05ABEH004704
[28] Goncharov，S.S.，关于强构造的素数模型的自稳定性，代数对数。，48, 410 (2009) ·Zbl 1241.03043号 ·doi:10.1007/s10469-009-9072-y
[29] S.S.Goncharov，“自动稳定模型和算法维度”，于。L.Ershov、S.S.Goncharov、A.Nerode和J.B.Remmel编辑，《递归数学手册》1（北荷兰，阿姆斯特丹，1998年），261·Zbl 0958.03030号
[30] S.S.Goncharov，“非自等价构造数问题”，《代数日志》。19, 401 (1980). （英语翻译）·Zbl 0476.03046号
[31] Goncharov，S.S。；Bazhenov，N.A。；Marchuk，M.I.，相对于强构造，组的指数集是自动稳定的，西伯利亚数学。J.，58，72（2017）·Zbl 1420.03071号 ·doi:10.1134/S0037446617010104
[32] Goncharov，S.S。；Bazhenov，N.A。；Marchuk，M.I.，与熟悉类的强构造化构造模型相关的自动稳定索引集，Dokl。数学。，92, 525 (2015) ·Zbl 1382.03060号 ·doi:10.1134/S10645624150504X
[33] Goncharov，S.S。；Bazhenov，N.A。；Marchuk，M.I.，布尔代数的指数集相对于强构造是自动稳定的，西伯利亚数学。J.，56，393（2015）·Zbl 1328.03036号 ·doi:10.1134/S0037446615030039
[34] Goncharov，S.S。；Marchuk，M.I.，有限签名和图签名的构造模型的索引集，相对于强构造是自动稳定的，代数日志。，54, 428 (2016) ·Zbl 1375.03037号 ·doi:10.1007/s10469-016-9365-x
[35] Goncharov，S.S。；Marchuk，M.I.，相对于强构造性，非平凡签名自动稳定的构造模型的索引集，Dokl。数学。，91, 158 (2015) ·Zbl 1330.03076号 ·doi:10.1134/S106456241502106
[36] Goncharov，S.S。；Marchuk，M.I.，在强构造下自动稳定的有界签名构造模型的索引集，代数日志。，54, 108 (2015) ·Zbl 1347.03069号 ·doi:10.1007/s10469-015-9331-z
[37] Goncharov，S.S。；Marchuk，M.I.，《在强构造下自动稳定的构造模型索引集》，J.Math。科学。，205, 368 (2015) ·Zbl 1349.03037号 ·doi:10.1007/s10958-015-2253-4
[38] Goncharov，S.S。；Molokov，A.V。；Romanovskii，N.S.，有限算法维的幂零群，西伯利亚数学。J.，30，63（1989）·Zbl 0684.20025号 ·doi:10.1007/BF01054216
[39] 库迪诺夫，O.，描述自动稳定模型的问题，代数日志。，36, 16 (1997) ·Zbl 0968.03040号 ·doi:10.1007/BF02671950
[40] Kudinov，O.，无可计算Scott族公式的自动稳定（1）可判定模型，代数日志。，35, 255 (1996) ·Zbl 0972.03038号 ·doi:10.1007/BF02367027
[41] Marchuk，M.I.，具有相对于强构造自动稳定的两个等价关系的结构索引集，代数日志。，55, 306 (2016) ·Zbl 1402.03050号 ·doi:10.1007/s10469-016-9400-年
[42] Marker，D.，《模型理论：导论》（2002年），纽约：Springer出版社，纽约·Zbl 1003.03034号
[43] R.Miller，“重温统一可计算范畴：罗德·唐尼教授六十岁生日”，载于《可计算性与复杂性》，A.Day、M.Fellows、N.Greenberg、B.Khoussainov、A.Melnikov和F.Rosamond编辑，《计算讲义》。科学。10010（施普林格，柏林，2017），254·Zbl 1485.03115号
[44] Miller，R.，（mathbf{d}）-代数域的可计算范畴，J.符号。日志。，74, 1325 (2009) ·Zbl 1202.03044号 ·doi:10.2178/jsl/1254748694
[45] Nurtazin，A.T.，强和弱构造与可计算族，代数对数。，13, 177 (1974) ·Zbl 0305.02061号 ·doi:10.1007/BF01463352
[46] Soare，R.I.，《递归可枚举集和度数》（1987），纽约：Springer-Verlag出版社，纽约·兹比尔062303042
[47] 于文佐夫（Yu Ventsov）。构造模型类和正模型类中关系和可约性的有效选择问题，代数对数。，31, 63 (1992) ·Zbl 0814.03030号 ·doi:10.1007/BF02259845
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。