×
米哈伊洛夫斯卡娅，雅。答：。;弗罗洛夫，A.N。

可计算线性顺序和Ershov层次结构。 （英语。俄文原件） Zbl 1386.03052号

俄罗斯数学。 62，第1号，58-64（2018）; Izv的翻译。维什。乌切布。扎韦德。，材料2018，第1期，67-74（2018）。
小结：我们给出了可计算线性阶的关系集合。对于任何自然数，某些可计算线性阶的这种关系的度谱正好包含所有可计算可枚举度。我们还研究了这些关系之间的相互联系。

引用于2文件

理学硕士：

03天45分 计算理论，有效呈现结构
03D55号 可计算性和可定义性的层次结构
06年05月 订单总数

关键词：

可计算线性订单;关系度谱;\（n）-可计算的可枚举度
PDF格式BibTeX公司 XML格式引用
\textit{Ya.A.Mikhailovskaya}和\textit{A.N.Frolov}，俄罗斯数学。62，编号1，58-64（2018；兹bl 1386.03052）；Izv的翻译。维什。乌切布。扎韦德。，材料2018，编号1，67--74（2018）
全文： 内政部

参考文献：

[1] Soare，R.I.递归可枚举集和度（Springer-Verlag，柏林，1987）·Zbl 0623.03042号 ·doi:10.1007/978-3-662-02460-7
[2] Rosenstein，J.G.Linear Orders（美国学术出版社，纽约，1982年）·Zbl 0488.04002号
[3] Moses，M.“递归线性顺序与递归连续性”，《Ann.Pure Appl。《逻辑》第27卷第3期，第253-264页（1984年）·兹比尔0572.03025 ·doi:10.1016/0168-0072（84）90028-9
[4] Moses，M.，等代现象类型的递归性质（1983），澳大利亚维多利亚州克莱顿
[5] Remmel，J.B.《递归分类线性次序》，Proc。阿默尔。数学。Soc.83，No.2，387-391（1981）·Zbl 0493.03022号 ·doi:10.1090/S002-9939-1981-0624937-1
[6] Frolov，A.N.“低阶线性阶”，Sib。数学。J.51，第5期，913-925（2010年）·Zbl 1209.03032号 ·doi:10.1007/s11202-010-0091-7
[7] Montalban，A.“关于结构跳跃的注释”，《数学理论和计算实践》，第五届欧洲可计算性会议，CiE 2009，K.Ambos-Spies，B.Löwe，W.Merkle（编辑），Lect。计算中的注释。科学。5635（Springer-Verlag，柏林，2009），372-378·Zbl 1268.03043号 ·doi:10.1007/978-3642-03073-4_38
[8] Frolov，A.N.“低线性阶”，J.Logic and Comp。22，第4期，745-745（2012）·Zbl 1260.03083号 ·doi:10.1093/log.com/exq040
[9] Frolov，A.N.“Δ20-线性序的副本”，《代数与逻辑》45，第3期，201-209（2006）·Zbl 1115.03047号 ·doi:10.1007/s10469-006-0017-4
[10] Alaev，P.，Thurber，J.，Frolov，A.“用谓词丰富的线性顺序的可计算性”，《代数与逻辑》48，第5期，第313-320页（2009年）·Zbl 1241.03055号 ·doi:10.1007/s10469-009-9067-8
[11] Frolov，A.N.“可计算线性阶的后继关系的表示”，《俄罗斯数学》54，第7期，第64-74页（2010年）·Zbl 1218.03029号
[12] Chubb，J.，Frolov，A.，Harizanov，V.“可计算线性阶的连续关系的度谱”，Arch。数学。《逻辑》48，第1期，第7-13页（2009年）·Zbl 1161.03022号 ·doi:10.1007/s00153-008-0110-6
[13] Frolov，A.N.“关于线性序的Δ20-谱和后继关系的度谱的注记”，《俄罗斯数学》57，第11期，第65-68页（2013）·兹比尔1311.03071 ·doi:10.3103/S1066369X13110078
[14] Bikmukhametov，R.I.“具有可计算自然关系的可计算线性阶的初始段”，《俄罗斯数学》第60卷第6期，第12-20页（2016年）·Zbl 1521.03127号 ·doi:10.3103/S1066369X16060025
[15] Bikmukhametov，R.I.“可计算线性阶的∑20初始段”，《代数与逻辑》53，第3期，266-267（2014）·Zbl 1323.03057号 ·doi:10.1007/s10469-014-9288-3
[16] Bikmukhametov，R.I.“线性顺序编码和自然关系算法独立性”，Lobachevskii J.Math。35，第4期，326-331（2014）·Zbl 1325.03052号 ·doi:10.1134/S1995080214040131
[17] Bikmukhametov，R.I.“可计算线性顺序上自然关系的算法独立性”，Uchen。扎普。哈萨克斯坦。塞尔维亚大学。菲兹-Mat.Nauki 155，No.3，80-90（2013）[俄语]。
[18] Hirschfeldt，D.R.“本质C.E.关系的度谱”，符号逻辑杂志66，第2期，441-469（2001）·Zbl 0988.03065号 ·doi:10.2307/2695024
[19] Feiner，L.J.，《与递归代数不同构的阶和布尔代数》（1967），马萨诸塞州剑桥
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。