×
伊斯坎德卡利穆林;巴哈迪尔·库萨诺夫;亚历山大·梅尔尼科夫

结构的极限单调序列和度谱。 （英语） Zbl 1408.03028号

程序。美国数学。Soc公司。 141，第9期，3275-3289（2013）.
摘要：在本文中，我们研究了集合和集合序列的有效单调逼近。我们证明了对于每个超免疫度（mathbfx），存在一个集合序列，它没有一致的可计算单调逼近，但具有（mathbf x）-可计算单调近似。我们还构造了一个（Sigma^0_2）集，它不是极限单调的，而是相对于每个非零度（Delta^0_2度）的极限单调的。我们证明了，如果集合序列在（mathbfx）中除可数次外的所有集都是一致有限单调的，那么它必须是一致极限单调的。最后，我们将这些结果应用于研究阿贝尔群的度谱、等价关系和（aleph_1）范畴结构。

引用于1审查
引用于21文件

MSC公司：

03C57号 可计算结构理论
03D75号 抽象公理可计算性和递归理论
03天80 可计算性和递归理论的应用
PDF格式BibTeX公司 XML格式引用
\textit{I.Kalimullin}等人，Proc。美国数学。Soc.141，No.9，3275--3289（2013；Zbl 1408.03028）
全文： 内政部

参考文献：

[1] J.T.Baldwin和A.H.Lachlan，关于强极小集，J.符号逻辑36（1971），79-96·Zbl 0217.30402号 ·doi:10.2307/2271517
[2] 韦斯利·卡尔弗特（Wesley Calvert）、道格拉斯·岑泽（Douglas Cenzer）、瓦伦蒂娜·哈里扎诺夫（Valentina Harizanov）和安德烈·莫罗佐夫（Andrei Morozov），《等价结构的有效分类》（Effective categority of e。《逻辑》141（2006），第1-2、61–78期·Zbl 1103.03037号 ·doi:10.1016/j.apal.2005.10.002
[3] Barbara F.Csima、Denis R.Hirschfeldt、Julia F.Knight和Robert I.Soare，《边界素数模型》，《符号逻辑杂志》69（2004），第4期，第1117-1142页·Zbl 1071.03021号 ·doi:10.2178/jsl/1102022214
[4] Barbara F.Csima和Iskander S.Kalimullin，度谱和免疫特性，MLQ数学。日志。Q.56（2010），第1期，67–77·Zbl 1184.03025号 ·doi:10.1002/malq.200910001
[5] Douglas Cenzer、Valentina Harizanov和Jeffrey B.Remmel，\Sigma\（{1}\）\（^{0}\）和\Pi\（_{1}）\（{0}）等价结构，数学理论和计算实践，计算讲义。科学。，第5635卷，施普林格出版社，柏林，2009年，第99–108页·Zbl 1239.03023号 ·doi:10.1007/978-3642-03073-4_11
[6] Rodney G.Downey、Asher M.Kach和Daniel Turetsky，极限单调函数及其应用，第十一届亚洲逻辑会议论文集，世界科学。出版物。，新泽西州哈肯萨克，2012年，第59-85页·Zbl 1279.03063号 ·doi:10.11142/9789814360548_0004
[7] 于尔肖夫（Yu Ershov）。和Goncharov，S.（编辑）。逻辑笔记本。逻辑中的开放式问题。新西伯利亚大学出版社，1989年。
[8] 尤里·埃尔肖夫（Yuri L.Ershov）和谢尔盖·冈查洛夫（Sergei S.Goncharov），《建构模型》，西伯利亚代数与逻辑学院，顾问局，纽约，2000年。
[9] Frolov，A.、Harizanov，V.、Miller，R.、Kalimullin，I.和Kudinov，O.高次和非低次的度谱。《逻辑与计算杂志》，2012年第22期，第755-777页，doi:10.1093（\mbox{/logcom}）/exq041·Zbl 1260.03068号
[10] 谢尔盖·冈查洛夫、瓦伦蒂娜·哈里扎诺夫、朱莉娅·奈特、查尔斯·麦考伊、罗素·米勒和里德·所罗门，《可计算结构理论中的枚举》，《Ann.Pure Appl》。《逻辑》136（2005），第3期，219–246·Zbl 1081.03033号 ·doi:10.1016/j.apal.2005.02.001
[11] 肯尼思·哈里斯，\-集合和度的表示，《符号逻辑杂志》73（2008），第4期，1097-1121·Zbl 1158.03025号 ·doi:10.2178/jsl/1230396908
[12] Denis R.Hirschfeldt，可计算线性序理论的素数模型，Proc。阿默尔。数学。Soc.129（2001），第10期，3079–3083·Zbl 0974.03040号
[13] Denis Hirschfeldt、Russell Miller和Sergei Podzorov，《有序计算集》，《圣母院J.形式逻辑》48（2007），第3期，第317-347页·Zbl 1146.03030号 ·doi:10.1305/ndjfl/1187031407
[14] Denis R.Hirschfeldt、Bakhadyr Khousainov和Pavel Semukhin，《唯一可计算表示模型饱和的不可数范畴理论》，《圣母院J.形式逻辑》47（2006），第1期，第63–71页·Zbl 1107.03032号 ·doi:10.1305/ndjfl/1143468311
[15] Denis R.Hirschfeldt、Bakhadyr Khousainov、Richard A.Shore和Arkadii M.Slinko，代数结构中的度谱和可计算维度，Ann.Pure Appl。《逻辑》115（2002），第1-3、71–113期·Zbl 1016.03034号 ·doi:10.1016/S0168-0072（01）00087-2
[16] Asher M.Kach，可计算洗牌序数和，Arch。数学。《逻辑》47（2008），第3期，211-219·Zbl 1149.03034号 ·doi:10.1007/s00153-008-0077-3
[17] Asher M.Kach和Daniel Turetsky，可计算域上的极限态单调函数、集和度，《符号逻辑杂志》75（2010），第1期，131-154·Zbl 1184.03043号 ·doi:10.2178/jsl/1264433912
[18] N.G.Khisamiev，构造阿贝尔群，递归数学手册，第2卷，研究发现的逻辑。数学。，第139卷，荷兰北部，阿姆斯特丹，1998年，第1177–1231页·Zbl 0940.03044号 ·doi:10.1016/S0049-237X（98）80050-5
[19] Bakhadyr Khoussainov、Andre Nies和Richard A.Shore，《少数模型的可计算理论模型》，圣母院J·形式逻辑38（1997），第2期，165-178·Zbl 0891.03013号 ·doi:10.1305/ndjfl/1039724885
[20] Russell Miller，《Delta（^{0}）（_{2}）-线性序谱》，《符号逻辑杂志》66（2001），第2期，第470-486页·Zbl 0992.03050号 ·doi:10.2307/2695025
[21] 亚历山大·梅尔尼科夫（Alexander G.Melnikov），《枚举与完全可分解无扭阿贝尔群》（Enumerations and complete decomposable tors-free abelian groups），理论计算。系统。45（2009），第4期，897–916·Zbl 1204.03039号 ·doi:10.1007/s00224-009-9175-9
[22] 西奥多·A·斯拉曼，相对于任何非递归集，Proc。阿默尔。数学。Soc.126（1998），第7期，2117–2122·Zbl 0894.03017号
[23] Richard J.Coles、Rod Downey和Bakhadyr Khoussainov，《关于可计算线性阶的初始分段》，第14阶（1997/98），第2期，107–124·Zbl 0915.03040号 ·doi:10.1023/A:1006031314563
[24] LászlóFuchs，无限阿贝尔群。第二卷，学术出版社，纽约-朗登，1973年。纯数学和应用数学。第36-II卷·Zbl 0257.20035号
[25] John D.Wallbaum，代数结构的可计算性，ProQuest LLC，密歇根州安阿伯，2010年。论文（博士）-圣母大学。
[26] Stephan Wehner，《枚举、可数结构和图灵度》，Proc。阿默尔。数学。Soc.126（1998），第7期，2131–2139·Zbl 0906.03044号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。