×
Ng，Keng Meng女士;马克西姆·祖布科夫

关于基尔斯泰德的猜想。 （英语） Zbl 1509.03111号

事务处理。美国数学。Soc公司。 372，第5号，3713-3753（2019）.
小结：我们否定了长期存在的基尔斯泰德猜想。我们通过构造一个没有有理子区间的可计算线性序来实现这一点，其中每个块的序类型都是有限的或（zeta），并且每个可计算副本都有一个强非平凡的（Pi^0_1）自同构。我们还构造了一个强\（\eta\）样线性阶，其中每个块的大小最多为4，没有有理子区间，使得每个\（\Delta^0_2\）同构的可计算副本都具有非平凡的\（\Pi^0_1\）自同构。

引用于1文件

MSC公司：

03C57号 可计算结构理论
03D45号 计算理论，有效呈现结构

关键词：

可计算线性次序;自同构;基尔斯泰德猜想
PDF格式BibTeX公司 XML格式引用
\textit{K.M.Ng}和\textit{M.Zubkov}，翻译。美国数学。Soc.372，No.5，3713-3753（2019；Zbl 1509.03111）
全文： 内政部

参考文献：

[1] Downey，R.G.，可计算性理论和线性排序。递归数学手册，第2卷，《发现逻辑的研究》。数学。139，823-976（1998），阿姆斯特丹北霍兰德·Zbl 0941.03045号 ·doi:10.1016/S0049-237X（98）80047-5
[2] 罗德尼·G·唐尼。；阿谢尔·卡赫（Asher M.Kach）。；特雷茨基，丹尼尔，极限态单调函数及其应用。《第十一届亚洲逻辑会议论文集》，59-85（2012），《世界科学》。出版物。，新泽西州哈肯萨克·Zbl 1279.03063号 ·doi:10.1142/9789814360548\0004
[3] 罗德尼·G·唐尼。；Moses，Michael F.，《递归线性次序的选择集和强非平凡自嵌入》，Z.Math。Logik Grundlag公司。数学。，351237-246（1989年）·Zbl 0654.03032号 ·doi:10.1002/malq.19890350307
[4] 本·杜什尼克；Miller，E.W.，部分有序集，Amer。数学杂志。，63000-610（1941年）·Zbl 0025.31002号 ·doi:10.2307/2371374
[5] 安德烈·N·弗洛洛夫。；Zubkov，Maxim V.，增加（eta）-代表度，MLQ数学。日志。Q.，55，6，633-636（2009）·兹比尔1184.03042 ·doi:10.1002/malq.200810031
[6] Frolov，A.N。；Zubkov，M.V.，与Kleene顺序符号系统相关的极限单调函数，Lobachevskii J.Math。，35, 4, 295-301 (2014) ·Zbl 1334.03042号 ·doi:10.1134/S1995080214040167
[7] Harris，Kenneth，（eta）-集合和度的表示，《符号逻辑》，73，4，1097-1121（2008）·Zbl 1158.03025号 ·doi:10.2178/jsl/1230396908
[8] 查尔斯·M·哈里斯。；Lee，Kyung Il；Cooper，S.Barry，类（eta）可计算线性序的自同构和Kierstead猜想，MLQ数学。日志。Q.，62，6，481-506（2016）·Zbl 1377.03034号 ·doi:10.1002/malq.20140109
[9] 阿谢尔·卡赫（Asher M.Kach）。；丹尼尔·特雷茨基（Daniel Turetsky），可计算域上的极限态单调函数、集和度，《符号逻辑杂志》（J.Symbolic Logic），75，1，131-154（2010）·Zbl 1184.03043号 ·doi:10.2178/jsl/1264433912
[10] Henry A.Kierstead，On（\Pi_1）-递归线性阶的自同构，符号逻辑杂志，52，3，681-688（1987）·Zbl 0637.03043号 ·doi:10.2307/2274356
[11] Joseph G.Rosenstein，《线性排序》，Pure and Applied Mathematics 98，xvii+487 pp.（1982），学术出版社[Harcourt Brace Jovanovich，出版商]，纽约\textendash伦敦·Zbl 0488.04002号
[12] Schwarz，Steven Thomas，商格、索引集和递归线性排序，（无分页）pp.（1982），ProQuest LLC，密歇根州安娜堡
[13] Steven T.Schwarz，递归线性序的递归自同构，Ann.Pure Appl。逻辑，26，169-73（1984）·Zbl 0571.03018号 ·doi:10.1016/0168-0072（84）90041-1
[14] 吴国华；Zubkov，Maxim，Kierstead猜想和极限单调函数，Ann.Pure Appl。逻辑，169,6467-486（2018）·Zbl 1459.03066号 ·doi:10.1016/j.apal.2018.01.003
[15] Zubkov，M.V.，类可计算线性阶存在（{\bf0}’）极限单调函数的充分条件，Sibirsk。材料Zh。。同胞。数学。J.，58 58，1，80-90（2017）·兹比尔1420.03108 ·doi:10.1134/s0037446617010128
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。