结构的极限单调序列和度谱
AMS MathViewer支持的HTML文章
摘要：
工具书类
J.T.鲍德温 和 A.H.拉克伦 , 关于强极小集 ，J.符号逻辑 36 (1971), 79–96. 先生 286642 ，DOI 10.2307/2271517 韦斯利·卡尔弗特 , 道格拉斯·岑泽 , 瓦伦蒂娜·哈里扎诺夫 、和 安德烈·莫罗佐夫 , 等价结构的有效范畴 Ann.Pure应用。 逻辑 141 （2006），第1-2期，第61-78页。 先生 2229930 ，DOI 2016年10月10日/j.apal.2005.10.002 芭芭拉·卡西玛 , 丹尼斯·赫施费尔特 , 朱莉娅·奈特 、和 罗伯特·索尔 , 边界素数模型 ，J.符号逻辑 69 （2004），第4期，1117-1142。 先生 2135658 ，DOI 10.2178/jsl/1102022214 芭芭拉·卡西玛 和 伊斯坎德·卡里穆林 , 度谱和免疫特性 ，MLQ数学。 日志。 问：。 56 （2010），第1期，第67-77页。 先生 2598838 ，DOI 10.1002/铝200910001 道格拉斯·森泽 , 瓦伦蒂娜·哈里扎诺夫 、和 杰弗里·伦梅尔 , $\Sigma_1^0$和$\Pi_1^0$s等价结构 《数学理论与计算实践》，《计算机课堂讲稿》。 科学。， 第5635卷，施普林格出版社，柏林，2009年，第99–108页。 先生 2545884 ，DOI 10.1007/978-3-642-03073-4_ {1}1 罗德尼·G·唐尼 , 阿舍·M·卡赫 、和 丹尼尔·图雷茨基 , 极限单调函数及其应用 《第十一届亚洲逻辑会议论文集》，《世界科学》。 出版物。， 新泽西州哈肯萨克，2012年，第59–85页。 先生 2868506 ，DOI 10.1142/9789814360548_ {0}004 于尔肖夫（Yu Ershov）。 和Goncharov，S.（编辑）。 逻辑笔记本。 逻辑中的开放式问题。 新西伯利亚大学出版社，1989年。 尤里·埃尔肖夫 和 谢尔盖·冈查洛夫 , 建设性模型 ，西伯利亚代数和逻辑学院，顾问局，纽约，2000年。 先生 1749622 ，DOI 10.1007/978-1-4615-4305-3 Frolov，A.、Harizanov，V.、Miller，R.、Kalimullin，I.和Kudinov，O.高$_n$和非低$_n$度的度谱。 《逻辑与计算杂志》，2012年第22期，第755-777页，doi:10.1093$\mbox{/logcom}$/exq041 谢尔盖·冈查洛夫 , 瓦伦蒂娜·哈里扎诺夫 , 朱莉娅·奈特 , 查尔斯·麦考伊 , 拉塞尔·米勒 、和 里德所罗门 , 可计算结构理论中的枚举 Ann.Pure应用。 逻辑 136 （2005），第3期，219–246。 先生 2169684 ，DOI 2016年10月10日/j.apal.2005.02.001 肯尼思·哈里斯 , $\eta$-集合和度的表示 ，J.符号逻辑 73 （2008），第4期，1097–1121。 先生 2467206 ，DOI 10.2178/jsl/1230396908 丹尼斯·赫施费尔特 , 可计算线性序理论的素数模型 , 程序。 阿米尔。 数学。 索克。 129 (2001), 10号 ，3079–3083。 先生 1840114 ，DOI 10.1090/S0002-9939-01-05923-8 丹尼斯·赫施费尔特 , 拉塞尔·米勒 、和 谢尔盖·波佐罗夫 , 顺序计算集 ，圣母院J·形式逻辑 48 （2007），第3期，317–347。 先生 2336351 ，DOI 10.1305/ndjfl/1187031407 丹尼斯·赫施费尔特 , 巴哈迪尔·库萨诺夫 、和 帕维尔·塞穆金 , 唯一可计算表示模型饱和的不可数范畴理论 ，《圣母院J.形式逻辑》 47 （2006），第1期，第63–71页。 先生 2211182 ，DOI 10.1305/ndjfl/1143468311 丹尼斯·赫施费尔特 , 巴哈迪尔·库萨诺夫 , Richard A.肖尔 、和 Arkadii M.Slinko公司 , 代数结构中的度谱和可计算维数 Ann.Pure应用。 逻辑 115 （2002），第1-3期，第71–113页。 先生 1897023 ，DOI 10.1016/S0168-0072（01）00087-2 阿舍·M·卡赫 , 可计算的序数洗牌和 ，建筑。 数学。 逻辑 47 （2008），第3期，211-219。 先生 2415492 ，DOI 2007年10月1日/00153-008-0077-3 阿舍·M·卡赫 和 丹尼尔·图雷茨基 , 可计算域上的极限单调函数、集和度 ，J.符号逻辑 75 （2010），第131–154号。 先生 2605885 ，DOI 10.2178/jsl/1264433912 N.G.Khisamiev先生 , 构造阿贝尔群 《递归数学手册》，第2卷，《发现逻辑研究》。 数学。， 第139卷，荷兰北部，阿姆斯特丹，1998年，第1177–1231页。 先生 1673602 ，DOI 10.1016/S0049-237X（98）80050-5 巴哈迪尔·库萨诺夫 , 安德烈·尼斯 、和 理查德·肖尔 , 少模型理论的可计算模型 ，《圣母院J.形式逻辑》 38 （1997），第2期，165–178。 先生 1489408 ，DOI 10.1305/ndjfl/1039724885 拉塞尔·米勒 , 线性阶的$\Delta^0_2$-谱 ，J.符号逻辑 66 （2001），第2期，470-486。 先生 1833459 ，DOI 10.2307/2695025 亚历山大·梅尔尼科夫 , 枚举与完全可分解无扭阿贝尔群 ，理论计算。 系统。 45 （2009），第4期，897–916。 先生 2529752 ，DOI 2007年10月7日/00224-009-9175-9 西奥多·斯拉曼 , 相对于任何非递归集 , 程序。 阿米尔。 数学。 索克。 126 (1998), 7号 , 2117–2122. 先生 1443408 ，DOI 10.1090/S0002-9939-98-04307-X 理查德·科尔斯 , 罗德·唐尼 、和 Bakhadyr Khoussainov先生 , 关于可计算线性阶的初始段 ，订单 14 （1997/98），第2期，107–124页。 先生 1631684 ，DOI 10.1023/A:1006031314563 拉兹洛夫克斯 , 无限阿贝尔群。 第二卷 《纯粹数学与应用数学》。 第36-II卷，学术出版社，纽约-朗顿，1973年。 先生 0349869 约翰·沃尔鲍姆 , 代数结构的可计算性 ，ProQuest LLC，密歇根州安阿伯，2010年。 论文（博士）-圣母大学。 先生 2827319 斯蒂芬·韦纳 , 枚举、可数结构和图灵度 , 程序。 阿米尔。 数学。 索克。 126 (1998), 7号 , 2131–2139. 先生 1443415 ，DOI 10.1090/S0002-9939-98-04314-7
其他信息
伊斯坎德·卡利穆林 附属机构：俄罗斯喀山鞑靼斯坦喀山联邦大学数学系，420008 电子邮件： Iskander.Kalimullin@ksu.ru 巴哈迪尔·库萨诺夫 附属机构：新西兰奥克兰奥克兰大学计算机科学系，私人包92019 电子邮件： bmk@cs.auckland.ac.nz 亚历山大·曼尼柯夫 附属机构：新西兰奥克兰奥克兰大学计算机科学系，私人包92019 MR作者ID： 878230 兽人： 0000-0001-8781-7432 电子邮件： a.melnikov@cs.auckland.ac.nz 编辑接收日期：2010年9月14日 编辑收到修订版：2011年2月21日、11月7日和11月30日 电子发布日期：2013年5月31日 附加说明：第一作者部分获得了RFBR拨款09-01-97010、10-01-00399和俄罗斯总统拨款MK-1784.2010.1的支持 所有作者都感谢新西兰皇家学会马斯登基金会的支持 通讯人：Julia Knight ©版权所有2013 美国数学学会 本文的版权在出版28年后恢复为公共领域。 期刊：Proc。 阿米尔。 数学。 索克。 141 (2013), 3275-3289 MSC（2010）：初级03C57、03D75、03D80 内政部： https://doi.org/10.1090/S0002-9939-2013-11586-8 MathSciNet评论： 3068980