关于Kierstead猜想
AMS MathViewer支持的HTML文章
通过 Keng Meng Ng公司 和 马克西姆·祖布科夫 PDF格式 事务处理。 阿默尔。 数学。 Soc公司。 372 (2019), 3713-3753 请求权限
摘要:
参考文献
R.G.唐尼 , 可计算性理论与线性排序 《递归数学手册》,第2卷,《发现逻辑研究》。 数学。, 第139卷,荷兰北部,阿姆斯特丹,1998年,第823–976页。 先生 1673590 ,内政部 10.1016/S0049-237X(98)80047-5 罗德尼·G·唐尼 , 阿舍·M·卡赫 、和 丹尼尔·图雷茨基 , 极限单调函数及其应用 《第十一届亚洲逻辑会议论文集》,《世界科学》。 出版物。, 新泽西州哈肯萨克,2012年,第59-85页。 先生 2868506 ,内政部 10.1142/9789814360548_ {0}004 罗德尼·G·唐尼 和 迈克尔·F·摩西 , 递归线性序的选择集和强非平凡自嵌入 、Z.数学。 Logik Grundlag公司。 数学。 35 (1989),第3期,237–246。 先生 1000966 ,内政部 10.1002/铝19890350307 本·杜什尼克 和 E.W.米勒 , 部分有序集 阿默尔。 数学杂志。 63 (1941), 600–610. 先生 4862 ,内政部 10.2307/2371374 安德烈·N·弗洛洛夫 和 马克西姆·祖布科夫 , 增加$\eta$-可代表的学位 ,MLQ数学。 日志。 问:。 55 (2009),第633–636号。 先生 2582163 ,内政部 10.1002/铝200810031 A.N.弗罗洛夫 和 M.V.祖布科夫 , 与Kleene序数符号系统相关的极限单调函数 罗巴切夫斯基J.数学。 35 (2014),编号4295-301。 先生 3284616 ,内政部 10.1134/S1995080214040167 肯尼思·哈里斯 , $\eta$-集合和度的表示 ,符号逻辑J 73 (2008),第4期,1097–1121。 先生 2467206 ,内政部 10.2178/jsl/1230396908 查尔斯·哈里斯 , Kyung Il Lee先生 、和 巴里·库珀 , 类$\eta$可计算线性序的自同构与Kierstead猜想 ,MLQ数学。 日志。 问:。 62 (2016),第6期,481-506。 先生 3601091 ,内政部 10.1002/铝201400109 阿舍·M·卡赫 和 丹尼尔·图雷茨基 , 可计算域上的极限单调函数、集和度 ,J.符号逻辑 75 (2010),第1期,131–154。 先生 2605885 ,内政部 10.2178/jsl/1264433912 亨利·基尔斯泰德 , 关于递归线性序的$\Pi_1$-自同构 ,J.符号逻辑 52 (1987),第3期,681-688。 先生 902983 ,内政部 10.2307/2274356 约瑟夫·罗森斯坦 , 线性排序 《纯粹与应用数学》,第98卷,学术出版社[Harcourt Brace Jovanovich,出版商],纽约-朗顿,1982年。 先生 662564 史蒂文·托马斯·施瓦兹 , 引用格、索引集和递归线性序 ,ProQuest LLC,密歇根州安阿伯,1982年。 论文(博士)-芝加哥大学。 先生 2611822 史蒂文·施瓦兹 , 递归线性序的递归自同构 Ann.Pure应用。 逻辑 26 (1984),第1期,69-73。 先生 739913 ,内政部 10.1016/0168-0072(84)90041-1 吴国华 和 马克西姆·祖布科夫 , Kierstead猜想与极限单调函数 Ann.Pure应用。 逻辑 169 (2018),第6期,467–486。 先生 3780011 ,内政部 2016年10月10日/j.apal.2018.01.03 M.V.祖布科夫 , 类可计算$\eta$-线性阶的${\bf0}'$-极限单调函数存在的充分条件 西伯利亚。 材料Zh。 58 (2017),第1期,第107–121页(俄语,附俄语摘要); 英语翻译。, 同胞。 数学。 J。 58 (2017),第1期,80-90。 先生 3686945 ,内政部 10.1134/s0037446617010128
其他信息
Keng Meng Ng公司 附属单位:新加坡南洋路21号南洋理工大学物理与数学科学学院数学科学部,邮编:637371 MR作者ID: 833062 马克西姆·祖布科夫 附属机构:俄罗斯喀山市Kremlevskaya 18号喀山联邦大学N.I.Lobachevsky数学与力学研究所,邮编420008 编辑接收日期:2018年8月15日 编辑收到修订版:2019年3月30日 电子出版:2019年5月9日 附加说明:第一作者获得了MOE-RG131/17和MOE2015-T2-2-055拨款的部分支持 第二位作者得到了RSF的资助(项目18-11-00028) ©2019年版权所有 美国数学学会 日记账:事务处理。 阿默尔。 数学。 Soc公司。 372 (2019), 3713-3753 MSC(2010):主要03C57、03D45 内政部: https://doi.org/10.1090/tran/7858 MathSciNet评论: 3988623