×
哈，庄;瓦伦蒂娜·哈里扎诺夫

岩浆秩序与可计算性理论。 （英语） Zbl 1522.03172号

J.结理论分歧 27，第7号，文章ID 1841001，13 p.（2018）.
总结：我们研究了有序岩浆的代数和可计算性理论性质。岩浆是具有单一二进制操作的代数结构。岩浆上的右序是其域的线性序，相对于岩浆活动来说是右不变的。我们使用可计算性理论的工具来研究可计算有序岩浆上阶的图灵复杂性。如果岩浆是有限的，或者如果它的域可以用一组自然数确定，并且岩浆操作是可计算的，那么岩浆就是可计算的。有趣的有序岩浆来自纽结理论，它们甚至不相关。

引用于1文件

MSC公司：

03D45号 计算理论，有效呈现结构
03C57号 可计算结构理论
99年6月 有序结构
20号02 具有单个二进制操作的集合（群oid）
54天30分 压实度

关键词：

岩浆;可计算的;秩序;拓扑结构;二叉树;困惑
PDF格式BibTeX公司 XML格式引用
\textit{T.Ha}和\textit{V.Harizanov}，J.结理论分歧27，第7号，文章ID 1841001，13 p.（2018；Zbl 1522.03172）
全文： 内政部

参考文献：

[1] Ash，C.J。；Knight，J.F.，《可计算结构和超算术层次》，（2000），爱思唯尔，阿姆斯特丹·Zbl 0960.03001号
[2] Buttsworth，R.N.，全阶可数无穷大群族，布尔。南方的。数学。社会学，497-104，（1971）·Zbl 0223.06008号
[3] Carson，J。；Harizanov，V。；奈特，J。；兰格，K。；马希尔，C。；McCoy，C。；莫罗佐夫，A。；奎因，S。；Wallbaum，J.，《描述自由群》，Trans。阿默尔。数学。《社会学杂志》，3645715-5728，（2012）·Zbl 1302.03045号
[4] J.Chubb，有序结构和可计算性，乔治华盛顿大学博士论文（2009年）。
[5] Chubb，J。；达布科夫斯基，M。；Harizanov，V。；迪利普，R。；弗里德曼，S.D。；Yang，Y.，集与计算，具有任意算法复杂性排序的群，221-251，（2017），世界科学，新加坡
[6] M.A.Dabkowska，群的图灵度谱及其序空间，博士论文，乔治华盛顿大学（2006）。
[7] Dabkowska，医学硕士。；Dabkowski，M.K。；Harizanov，V.S。；Przytycki，J.H。；Veve，M.A.，左序空间的紧性，J.结理论分歧，16，257-266，（2007）·Zbl 1129.57024号
[8] Dabkowska，硕士。；Dabkowski，M.K。；哈里扎诺夫，V.S。；Togha，A.，阶空间及其图灵度谱，年鉴纯应用。逻辑，1611134-1143，（2010）·Zbl 1225.03038号
[9] Dobritsa，V.P.，阿贝尔群的一些构造，Siber。数学。J.，24，167-173，（1983）·Zbl 0528.20038号
[10] 唐尼，R.G。；Kurtz，S.A.，递归理论和有序群，Ann.Pure Appl。逻辑，32，137-151，（1986）·Zbl 0629.03020号
[11] Fokina，E。；Harizanov，V。；梅尔尼科夫，A。；Downey，R.，《图灵的遗产：图灵逻辑思想的发展》，可计算模型理论，124-194，（2014），剑桥大学出版社/ASL
[12] Glass，A.M.W.，部分有序群体，（1999），世界科学，新加坡·Zbl 0933.06010号
[13] Harizanov，V。；于尔肖夫（Yu Ershov）。法律。；Goncharov，S.S。；Nerode，A。；Remmel，J.B.，《递归数学手册》，1，《纯可计算模型理论》，3-114，（1998），荷兰北部，阿姆斯特丹·Zbl 0952.03037号
[14] M.Harrison-Trainor，出现在J.符号。逻辑。·Zbl 1447.03009号
[15] 乔库什，C.G。；Soare，R.I.，（\operatorname{\Pi}_1^0）理论的类和度，Trans。阿默尔。数学。《社会学杂志》，173，33-56，（1972）·Zbl 0262.02041号
[16] 乔库什，C.G。；Soare，R.I.，（操作符名{\Pi}_1^0）类成员的度数，太平洋数学杂志。，40, 605-616, (1972) ·Zbl 0209.02201号
[17] Joyce，D.，《结的分类不变量：结的困惑》，J.Pure Appl。代数，23，37-65，（1982）·Zbl 0474.57003号
[18] 科科林，A.I。；Kopytov，V.M.，《完全有序群》，（1974年），霍尔斯特德出版社，纽约
[19] 科皮托夫，V.M。；梅德韦杰夫，N.Ya。，Right-Ordered Group，（1996），顾问局，纽约·Zbl 0852.06005号
[20] Linnell，P.A.，群的左阶空间要么是有限的，要么是不可数的，Bull。伦敦数学。Soc.，43，200-202，（2011）·Zbl 1215.06009号
[21] Matveev，S.V.，结理论中的分布群胚，数学。苏联Sb，47，73-83，（1982）·Zbl 0523.57006号
[22] McCleary，S.H.，表示为（o）-（2）传递的自由格序群我-置换群，Trans。阿默尔。数学。《社会学杂志》，290，69-79，（1985）·Zbl 0546.06013号
[23] McCoy，C。；Wallbaum，J.，《描述自由群》，第二部分：（operatorname{\Pi}_4^0）硬度和无（operator name{\Sigma}_2^0）基，Trans。阿默尔。数学。《社会学杂志》，3645729-5734，（2012）·Zbl 1325.03037号
[24] Metakides，G。；《场论的有效内容》，《数学年鉴》。逻辑，17289-320，（1979）·Zbl 0469.03028号
[25] 穆拉·R·B。；莱姆图拉（Rhemtulla，A.），《有序集团》（Orderable Groups），（1977年），马塞尔·德克尔（Marcel Dekker），纽约·Zbl 0337.20018号
[26] Navas，A.，《关于（左）可序群的动力学》，《傅里叶年鉴》，60，1685-1740，（2008）·Zbl 1316.06018号
[27] Rolfsen，D。；Wiest，B.，自由群自同构，不变序和拓扑应用，代数几何。白杨。，1, 311-320, (2001) ·Zbl 0985.57006号
[28] Sikora，A.S.，群序空间上的拓扑，布尔。伦敦数学。Soc.，36，519-526，（2004）·Zbl 1057.06006号
[29] Soare，R.I.，《递归可枚举集和度》。《可计算函数和可计算生成集的研究》（1987），柏林斯普林格出版社·兹比尔062303042
[30] Soare，R.I.，图灵可计算性，理论与应用，（2016），施普林格，柏林·Zbl 1350.03001号
[31] D.R.Solomon，《逆向数学与有序群》，康奈尔大学博士论文（1998年）。
[32] Solomon，D.R.，（operatorname{\Pi}_1^0）classes and orderable groups，Ann.Pure Appl。逻辑，115，279-302，（2002）·Zbl 0998.03036号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。