×
亚历山大·梅尔尼科夫。;Ng，Keng Meng女士

可计算扭阿贝尔群。 （英语） Zbl 1470.03018号

高级数学。 325, 864-907 (2018)。
摘要：我们证明了c.c.扭转阿贝尔群可以用一个（Pi_4^0）-谓词来描述，该谓词描述了对此类群进行强制对角化尝试的失败。我们证明了没有更简单的描述，因为它们的索引集是\（\Pi_4^0 \）-完备的。该结果可以被视为解决扭转阿贝尔群中Mal'cev的一个60年问题。我们证明了一个可计算扭阿贝尔群具有一个或无限多个可计算副本，直至可计算同构。结果证实了Goncharov自20世纪80年代初对挠阿贝尔群的一个猜想。

引用于8文件

MSC公司：

03C57 可计算结构理论
03C60型 模型理论代数
2015年3月1日 计算复杂性（包括隐式计算复杂性）
20K10码 扭群、初等群和广义初等群

关键词：

abel群;可计算结构;可计算分类
PDF格式BibTeX公司 XML格式引用
\textit{A.G.Melnikov}和\textit{K.M.Ng}，高级数学。325864-907（2018；Zbl 1470.03018）
全文： 内政部

参考文献：

[1] 安德鲁斯，美国。；杜塞宁，D。；希尔，C。；奈特，J。；Melnikov，A.，有限和的比较类，代数逻辑，54，6，489-501（2016年1月）·Zbl 1375.03034号
[2] 灰分，C。；Knight，J.，《可计算结构与超算术层次结构》，《逻辑与数学基础研究》，第144卷（2000年），北荷兰特出版公司：北荷兰德出版公司，阿姆斯特丹·Zbl 0960.03001号
[3] 卡尔弗特，W。；Cenzer，D。；Harizanov，V。；莫罗佐夫，A.，《等价结构的有效分类》，《纯粹应用》。逻辑，141，1-2，61-78（2006）·Zbl 1103.03037号
[4] Dehn，M.，Über unendliche diskontinuierliche Gruppen，数学。Ann.，71，116-144（1911年）
[5] Hirschfeldt，D.R。；Kramer，K。；米勒，R。；Shlapentkh，A.，可计算代数域的分类属性，Trans。阿默尔。数学。Soc.，367，6，3981-4017（2015）·Zbl 1347.03082号
[6] 唐尼，R。；Melnikov，A.，《有效范畴阿贝尔群》，J.代数，373，223-248（2013）·Zbl 1315.03054号
[7] 唐尼，R。；Remmel，J.B.，《可计算代数和组合学问题》，（可计算性理论及其应用，可计算性原理及其应用，科罗拉多州博尔德，1999年）。可计算性理论及其应用。可计算性理论及其应用，Boulder，CO，1999，Contemp。数学。，第257卷（2000），美国。数学。Soc.：美国。数学。Soc.Providence，RI），95-125·Zbl 0980.03045号
[8] 唐尼，R.G。；Melnikov，A.G。；Ng，K.M.，阿贝尔p-群的迭代有效嵌入，Int.J.Appl。密码。，24, 7, 1055 (2014) ·Zbl 1339.03034号
[9] 唐尼，R.G。；卡赫，A.M。；莱姆普，S。；刘易斯·佩伊，A.E.M。；蒙塔尔班，A。；Turetsky，D.D.，《可计算类别的复杂性》，高等数学。，268, 423-466 (2015) ·Zbl 1345.03063号
[10] 唐尼，R。；Melnikov，A.G。；Ng，K.M.，On（Delta_2^0）-等价关系的范畴性，Ann.Pure Appl。逻辑，166，9，851-880（2015）·Zbl 1386.03050号
[11] 唐尼，R.G。；卡赫，A.M。；莱姆普，S。；刘易斯·佩伊，A.E.M。；蒙塔尔班，A。；Turetsky，D.D.，可计算分类的复杂性，高级数学。，268, 423-466 (2015) ·Zbl 1345.03063号
[12] 于尔肖夫。L.，Opredelimost i vychislimest（2000），È科诺米卡/Nauchnaya Kniga（NII MIOONGU·Zbl 0856.03039号
[13] Ershov，Y。；Goncharov，S.，《建构模型》（2000），咨询局：纽约咨询局，西伯利亚代数与逻辑学院·Zbl 0954.03036号
[14] Fuchs，L.，《无限阿贝尔群》，第一卷，《纯粹与应用数学》，第36卷（1970），学术出版社：纽约学术出版社·Zbl 0209.05503号
[15] Gončarov，S.S.，《自稳定性和可计算的构造族》，《代数逻辑》，第14、6、647-680页（1975年），第727页·Zbl 0367.02023号
[16] Goncharov，S.，模型和阿贝尔群的自稳定性，代数逻辑，19，1，23-44（1980），132·Zbl 0468.03022号
[17] Goncharov，S.，有限个构造化群，Dokl。阿卡德。诺克SSSR，256，2，269-272（1981）·Zbl 0496.20021号
[18] Goncharov，S.，《可数布尔代数与可判定性》（1997），顾问局：纽约顾问局，西伯利亚代数与逻辑学院·Zbl 0912.03019号
[19] Goncharov，S。；Knight，J.，可计算结构和反结构定理，代数逻辑，41，6，639-681（2002），757·Zbl 1034.03044号
[20] Hermann，G.，《多项式理论与数学》中的Die Frage der endlich vielen Schritte。安，95，1736-788（1926）
[21] Khisamiev，N.，《构造阿贝尔群》（递归数学手册，第2卷）。递归数学手册，第2卷，研究发现的逻辑。数学。，第139卷（1998年），《北荷兰：北荷兰阿姆斯特丹》，1177-1231·Zbl 0940.03044号
[22] 库萨诺夫，B。；Nies，A。；Shore，R.，《模型较少的可计算理论模型》，圣母院J.Form.Log。，38, 2, 165-178 (1997) ·Zbl 0891.03013号
[23] LaRoche，P.，递归表示布尔代数，Notices Amer。数学。《社会学杂志》，24552-553（1977）
[24] Mal'cev，A.，《构造代数》。一、 Uspekhi Mat.Nauk，16，3（99），3-60（1961）·兹伯利0129.25903
[25] Melnikov，A.G.，可计算阿贝尔群，布尔。符号逻辑，20，3，315-356（2014）·Zbl 1345.03065号
[26] Moses，M.，递归线性阶与递归级数，Ann.Pure Appl。逻辑，27，3，253-264（1984）·Zbl 0572.03025号
[27] Nurtazin，A.，《可计算类和自动稳定的代数准则》（1974年），《数学》。Inst.SB USSRAS：数学。新西伯利亚SB USSRAS研究所，科学学校总结
[28] Rabin，M.，可计算代数，可计算域的一般理论和理论，Trans。阿默尔。数学。《社会学杂志》，95，341-360（1960）·Zbl 0156.01201号
[29] Remmel，J.B.，递归分类线性排序，Proc。阿默尔。数学。《社会学杂志》，83，2387-391（1981）·Zbl 0493.03022号
[30] 罗杰斯，H.，《递归函数和有效可计算性理论》（1987），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·Zbl 0183.01401号
[31] Smith，R.，关于p群自稳定性的两个定理，（逻辑年1979-80）。逻辑年1979-80，Proc。数学研讨会。逻辑，康涅狄格州斯托斯康涅狄格州大学，1979/1980年。逻辑年1979-80。逻辑年1979-80，Proc。数学研讨会。康涅狄格州斯托斯市康涅狄克大学逻辑系，1979/1980年，数学课堂讲稿。，第859卷（1981年），施普林格：施普林格柏林），302-311·Zbl 0488.03024号
[32] Soare，R.，《递归可枚举集和度》，《数学逻辑中的透视》（1987），Springer-Verlag:Springer-Verlag Berlin，《可计算函数和可计算生成集的研究》·Zbl 0623.03042号
[33] 范德瓦尔登（B.van der Waerden）、艾恩·贝默尔孔贝尔（Eine Bemerkungüber）、安泽勒格巴克特·冯·波利诺曼（数学）。安，102，1738-739（1930）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。