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

关于等价关系的（Delta_2^0）-范畴性。 （英语） Zbl 1386.03050号

Ann.纯粹应用。逻辑 166，第9期，851-880（2015）.
总结：我们研究了哪些可计算的等价结构相对于暂停问题是同构的。

引用于7文件

MSC公司：

03D45号 计算理论，有效呈现结构
03C57号 可计算结构理论
03D25号 递归（可计算）可枚举集和度

关键词：

等价结构;可计算数学;分类;同构
PDF格式BibTeX公司 XML格式引用
\textit{R.Downey}等人，Ann.Pure Appl。逻辑166，No.9，851--880（2015；Zbl 1386.03050）
全文： 内政部

参考文献：

[1] Andrews，美国。；莱姆普，S。；Miller，J。；Ng，K.M。；圣毛罗，L。；Sorbi，A.，《通用可计算可枚举等价关系》，J.符号逻辑，79，1，60-88（2014）·Zbl 1338.03076号
[2] Ash，C.J.，递归标记系统和超算术度递归结构的稳定性，Trans。阿默尔。数学。Soc.，298497-514（1986年）·Zbl 0631.03017号
[3] Ash，C.J。；Knight，J.，《可计算结构与超算术层次结构》，《逻辑与数学基础研究》，第144卷（2000年），北荷兰特出版公司：北荷兰德出版公司，阿姆斯特丹·Zbl 0960.03001号
[4] Barker，Ewan J.，约化阿贝尔群的前后关系，Ann.Pure Appl。逻辑，75，3，223-249（1995）·Zbl 0842.03029号
[5] Bazenov，N.，\（\delta_2^0\）-布尔代数的范畴，Vesnik，Quart。新西伯利亚州立大学，13，2，2-14（2013）·Zbl 1289.03025号
[6] 霍华德·贝克尔；Kechris，Alexander S.，《波兰群体行动的描述性集合理论》，伦敦数学学会讲座笔记系列，第232卷（1996），剑桥大学出版社：剑桥大学出版社·Zbl 0949.54052号
[7] 卫斯理·卡尔弗特；道格拉斯·森泽（Douglas Cenzer）；瓦伦蒂娜·哈里扎诺夫；安德烈·莫罗佐夫（Andrei Morozov），《等价结构的有效分类》（Effective categority of equivalence structures），《纯粹应用》（Ann.Pure Appl）。逻辑，141，1-2，61-78（2006）·Zbl 1103.03037号
[8] Carson，J。；Harizanov，V。；奈特，J。；兰格，K。；McCoy，C。；莫罗佐夫，A。；奎因，S。；萨夫兰斯基，C。；Wallbaum，J.，《描述自由群》，Trans。阿默尔。数学。《社会学杂志》，364，11，5715-5728（2012）·Zbl 1302.03045号
[9] 塞缪尔·考斯基（Samuel Coskey）；乔尔·戴维·哈姆金斯；Miller，Russell，可计算可约性下自然数等价关系的层次，可计算性，1,1,15-38（2012）·Zbl 1325.03049号
[10] 芭芭拉·F·西玛。；纽约州约翰·富兰克林。；理查德·肖尔（Richard A.Shore），《范畴度和超算术层次》，《圣母院J.Form.Log.》。，54, 2, 215-231 (2013) ·Zbl 1311.03070号
[11] 丹尼斯；Hirschfeldt，R。；科乌萨诺夫，巴哈迪尔；理查德·肖尔（Richard A.Shore）。；Slinko，Arkadii M.，代数结构中的度谱和可计算维数，Ann.Pure Appl。逻辑，115，1-3，71-113（2002）·Zbl 1016.03034号
[12] 罗德尼·唐尼；Melnikov，Alexander G.，有效范畴阿贝尔群，代数杂志，373，223-248（2013）·Zbl 1315.03054号
[13] 罗德尼·唐尼；Melnikov，Alexander G.，可计算完全可分解群，Trans。阿默尔。数学。Soc.，366，8，4243-4266（2014）·Zbl 1341.03056号
[14] 唐尼，R。；A.卡赫。；Turetsky，D.，极限单调函数及其应用，（第十一届亚洲逻辑会议论文集（2011）），59-85·Zbl 1279.03063号
[16] 于尔肖夫（Yu Ershov）。L.，溶解度问题和构造模型（1980年），Nauka:Nauka Moscow，[俄语]·兹伯利0495.03009
[17] 尤里·埃尔肖夫（Yuri L.Ershov）。；Goncharov，Sergei S.，《建构模型》（西伯利亚代数与逻辑学院（2000），咨询局：纽约咨询局）·Zbl 0954.03036号
[18] 叶卡捷琳娜·福基纳。；Sy-David弗里德曼；特朗奎斯特，阿斯格，《Borel等价关系的有效理论》，《纯粹应用》。逻辑，161，7，837-850（2010）·Zbl 1223.03031号
[19] Fokina，E。；Knight，J.F。；梅尔尼科夫，A。；奎因，S.M。；Safranski，C.，《其他结构中的Ulm类型和编码等级同构树类》，《符号逻辑杂志》，76，3，846-869（2011）·Zbl 1241.03042号
[20] Fokina，E。；Frolov，A。；Kalimulin，I.，刚性结构的分类谱，圣母院J.Form.Log。（2015），出版中
[21] 阿谢尔·卡赫（Asher M.Kach）。；Daniel Turetsky，（Delta_2^0）-等价结构的分类，新西兰数学杂志。，39, 143-149 (2009) ·Zbl 1234.03021号
[22] 伊斯坎德Kalimullin；科乌萨诺夫，巴哈迪尔；Melnikov，Alexander，结构的极限单调序列和度谱，Proc。阿默尔。数学。Soc.，141，9，3275-3289（2013）·Zbl 1408.03028号
[23] Khisamiev，N.G.，构造阿贝尔群（递归数学手册，第2卷）。递归数学手册，第2卷，逻辑研究和数学基础，第139卷（1998年），北荷兰：北荷兰阿姆斯特丹），1177-1231·Zbl 0940.03044号
[24] Khoussainov，Bakhadyr；安德烈·涅斯（Andre Nies）；理查德·肖（Richard A.Shore），《模型较少的可计算理论模型》，圣母院J.Form.Log。，38, 2, 165-178 (1997) ·Zbl 0891.03013号
[25] Lachlan，A.H.，《关于正等价关系的注记》，Z.Math。日志。格兰德。数学。，33, 1, 43-46 (1987) ·Zbl 0625.03021号
[26] 凯伦·兰格（Karen Lange）；Soare，Robert I.，齐次模型的可计算性，圣母院J.Form.Log。，48143-170（2007），（电子版）·Zbl 1123.03027号
[27] LaRoche，P.，递归表示布尔代数，Notices Amer。数学。《社会学杂志》，24552-553（1977）
[28] Mak-koĭ，Ch.F.D.，On\（Delta_3^0）-线性序和布尔代数的范畴，代数逻辑，41，5，531-552（2002），633·Zbl 1008.03023号
[29] McCoy，Charles F.D.，（Delta_2^0）-布尔代数和线性序中的范畴，Ann.Pure Appl。逻辑，119，1-3，85-120（2003）·Zbl 1016.03036号
[30] 查尔斯·麦考伊（Charles McCoy）；John Wallbaum，《描述自由基》，第二部分：（Pi_4^0）硬度和无（Sigma_2^0）基，Trans。阿默尔。数学。《社会学杂志》，364，11，5729-5734（2012）·Zbl 1325.03037号
[31] Nurtazin，A.T.，《可计算类和自动稳定的代数标准》，《科学学校摘要》（1974年），《数学》。Inst.SB USSRAS：数学。新西伯利亚SB USSRAS研究所·Zbl 0282.02018号
[32] Remmel，J.B.，递归分类线性排序，Proc。阿默尔。数学。《社会学杂志》，83，2387-391（1981）·Zbl 0493.03022号
[33] Soare，Robert I.，《递归可枚举集和度：可计算函数和可计算生成集的研究》，《数学逻辑的观点》（1987），Springer-Verlag:Springer-Verlag Berlin·Zbl 0623.03042号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。