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

分类线性有序结构。 （英语） Zbl 1435.03076号

Ann.纯粹应用。逻辑 170，第10号，1243-1255（2019）.
作者认为，相对于著名代数类中可计算结构之间的超算术层次，同构是可计算的，并证明：
定理1。对于每个可计算极限序数\（\alpha\），都存在一个可计算线性顺序\（a_\alpha \），如下所示
（1） 对于每一个可计算副本（M），都存在一个（beta<alpha），使得（M\cong{Delta_beta}a\alpha；
（2） 对于每一个（β），都存在一个可计算的拷贝（B\cong a\alpha），即（M\ncong{Delta_\beta}a\alfa）。
定理2。定理1中的特性可以通过以下类别的结构来证明：
（i） 有序阿贝尔群，以及
（ii）无限超越度的实闭场。
审核人：Jamalbek Tussupov（阿斯塔纳）

引用于1文件

理学硕士：

03D45号 计算理论，有效呈现结构
03C57号 可计算结构理论
03D75号 抽象公理可计算性和递归理论
03天80 可计算性和递归理论的应用

关键词：

线性排序;有序阿贝尔群;实闭域;超算术范畴;可计算序数;有效结构理论;可计算结构
PDF格式BibTeX公司 XML格式引用
\textit{R.Downey}等人，Ann.Pure Appl。逻辑170，No.10，1243--1255（2019；Zbl 1435.03076）
全文： 内政部

参考文献：

[2] 灰分，C。；Knight，J.，《可计算结构与超算术层次结构》，《逻辑与数学基础研究》，第144卷（2000年），北荷兰特出版公司：北荷兰德出版公司，阿姆斯特丹·Zbl 0960.03001号
[3] Downey，R.，《可计算性理论和线性排序》，（递归数学手册。递归数学手册，发现的逻辑研究。数学，第139卷（1998年），北荷兰：北荷兰阿姆斯特丹），823-976·兹伯利0941.03045
[4] 唐尼，R。；Montalbán，A.，无挠阿贝尔群的同构问题是解析完全的，J.Algebra，320，6，2291-2300（2008）·Zbl 1156.03042号
[5] 罗德·唐尼；格雷格·伊古萨（Greg Igusa）；亚历山大·梅尔尼科夫（Alexander Melnikov），《关于Kalimullin的问题》，Proc。阿默尔。数学。Soc.（2019），出版中·兹比尔1522.03169
[6] 罗德尼·唐尼；Knight，Julia F.，《第（α）跳跃度排序》（0^{（α）}），Proc。阿默尔。数学。《社会学杂志》，114,2545-552（1992）·Zbl 0748.03027号
[7] 罗德尼·唐尼；Melnikov，Alexander G.，可计算完全可分解群，Trans。阿默尔。数学。Soc.，366，8，4243-4266（2014）·Zbl 1341.03056号
[10] 叶卡捷琳娜·福基纳。；卡里穆林，I。；Miller，R.，可计算结构的分类度，Arch。数学。逻辑，49，1，51-67（2010）·Zbl 1184.03026号
[11] Frolov，A.，可计算线性次序的有效分类，代数逻辑，54，5，415-417（2015）·Zbl 1361.03044号
[12] Goncharov，S.，具有有限数量构造的群，Dokl。阿卡德。诺克SSSR，256，2，269-272（1981）·Zbl 0496.20021号
[13] Goncharov，S.，《可数布尔代数与可判定性》（1997），西伯利亚代数与逻辑学院。顾问局：西伯利亚代数和逻辑学院。纽约咨询局·Zbl 0912.03019号
[15] Goncharov，S。；莱姆普，S。；Solomon，R.，有序阿贝尔群的可计算维数，高等数学。，175, 1, 102-143 (2003) ·Zbl 1031.03058号
[16] 哈里森·特雷纳，马修；亚历山大·梅尔尼科夫（Alexander Melnikov）；罗素·米勒（Russell Miller）；Montalbán，Antonio，可计算函子和有效可解释性，符号逻辑，82，1，77-97（2017）·Zbl 1390.03034号
[17] 哈里森·特雷纳，马修；亚历山大·梅尔尼科夫（Alexander Melnikov）；Montalbán，Antonio，《可计算代数的独立性》，J.algebra，443，441-468（2015）·Zbl 1386.03051号
[18] Hirschfeldt，D。；Khoussainov，B。；肖尔，R。；斯林科，A.，代数结构中的度谱和可计算维数，《纯粹应用年鉴》。逻辑，115，1-3，71-113（2002）·Zbl 1016.03034号
[19] Khisamiev，N.，Constructive abelian groups，（递归数学手册。递归数学手册，研究发现的逻辑。数学，第139卷（1998年），北荷兰人：北荷兰阿姆斯特丹），1177-1231·Zbl 0940.03044号
[20] Mal'cev，A.，《构造代数》。一、 Uspekhi Mat.Nauk，16，3（99），3-60（1961）·Zbl 0129.25903号
[21] Melnikov，A.，可计算有序阿贝尔群和域，（Programs，Proofs，Processes.Programs、Proofs、Processes，Leach Notes in Compute.Sci.，vol.6158（2010），Springer:Springer-Belin），321-330·Zbl 1286.03145号
[22] Melnikov，A.，完全可分解阿贝尔群的有效性质（2012），CSc论文
[23] 罗素·米勒，《群与场的可计算模型理论导论》，群复合体。加密。，3, 1, 25-45 (2011) ·兹比尔1258.03040
[24] Montalbán，Antonio，《与沃特猜想等价的可计算性理论》，高等数学。，235, 56-73 (2013) ·Zbl 1345.03055号
[25] Nikolay Bazhenov、Matthew Harrison-Trainor、Iskander Kalimullin、Alexander Melnikov、Keng Meng Ng，《自动和多项式时间代数结构》，预印本，2018年。；Nikolay Bazhenov、Matthew Harrison-Trainor、Iskander Kalimullin、Alexander Melnikov、Keng Meng Ng，《自动和多项式时间代数结构》，预印本，2018年。
[26] Ocasio González，Victor，《实闭域类的可计算性》（2014），圣母大学，博士论文
[29] Riggs，K.，无挠阿贝尔群的可分解性问题是解析完全的，Proc。阿默尔。数学。Soc.（2019），出版中
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。