戴安娜·施密特 Well-partial排序及其最大排序类型。 （英语） Zbl 1496.03235号 Schuster，Peter M.（编辑）等人，《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆（DMV）内举行的关于良好准序：从理论到应用的小型研讨会，以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆：斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 351-391 (2020). 摘要：组合理论家一段时间以来一直在证明某些偏序是良偏序(水渍险。的）。De Jongh和Parikh证明了w.p.o.正是那些有充分依据的偏序，可以推广到最大阶型的良好序；我们把这样得到的序数称为最大订单类型在本文中，我们根据Schütte[24]提出的符号系统，计算了[G.希格曼，程序。伦敦。数学。《社会学杂志》（3）2326–336（1952；Zbl 0047.03402号)]，并给出了中研究的w.p.o.的最大阶类型的上界[J.B.Kruskal公司，事务处理。美国数学。Soc.95，210–225（1960年；兹比尔0158.27002);C.S.J.A.纳什-威廉姆斯，程序。外倾角。菲洛斯。《社会分类》第61、33–39页（1965年；Zbl 0129.00602号)]. 作为de Jongh和Parikh工作的副产品和应用，我们给出了Higman、Kruskal和Nash-Williams定理的新的更容易的证明，即所考虑的偏序确实是w.p.o.的。我们还将我们的结果应用于序数符号理论。关于整个系列，请参见[Zbl 1443.03002号]. 引用于4文件 MSC公司： 2015年1月3日 递归序数和序数符号 03E10年 序数和基数 03D60年 序数、容许集等的可计算性和递归理论。 06年06月06日 部分订单，通用 引文：Zbl 0047.03402号;Zbl 0158.27002号;Zbl 0129.00602号 PDF格式BibTeX公司 XML格式引用 \textit{D.Schmidt}，趋势日志。螺柱日志。伦敦银行同业拆借利率。53、351--391（2020年；Zbl 1496.03235） 全文： 内政部 参考文献： [1] 巴赫曼·H（1950）。正常情况下的问题。位于苏黎世的Vierteljahrsschrift der Naturforschenden Gesellschaft，95，5-37岁·Zbl 0041.02103号 [2] 巴赫曼·H（1967）。超有限Zahlen。施普林格，VII+228页·Zbl 0148.25502号 [3] Bridge，J.（1972年）。数学逻辑中的一些问题。序数函数和序数符号系统：牛津大学论文。 [4] 布里奇，J.（1975）。生成大型可数序数的巴赫曼方法的简化。符号逻辑杂志，40，171-185·Zbl 0309.02027号 ·doi:10.2307/2271898 [5] Bridge，J.（1978年）。关于序数符号的文献综述。出现。 [6] Buchholz，W.（1975）。秩序的规范和结构体系。《证明理论研讨会》，基尔1974年（施普林格讲稿500），4-25·Zbl 0342.02021号 [7] Carruth，P.（1942年）。序数运算及其在有序阿贝尔群理论中的应用。《美国数学学会公报》，48626-271·Zbl 0061.09308号 ·doi:10.1090/S0002-9904-1942-07649-X [8] Feferman，S.（1968年）。谓词分析系统，II：序数的表示。符号逻辑杂志，33，193-220·Zbl 0162.02201号 ·doi:10.2307/2269866 [9] Halmos，P.（1960年）。朴素集理论。Van Nostrand，vii+104页·Zbl 0087.04403号 [10] Heinzmann，G.（1976年）。Eine Charakterisierung der Ordinalzahl \（\Gamma_0\）。文凭：海德堡大学。 [11] 希格曼（Higman，G.）（1952年）。抽象代数中按可除性排序。伦敦数学学会学报，3（2），326-336·Zbl 0047.03402号 [12] Jongh，de D.H.J.和Parikh，R.（1977年）。良好的部分排序和层次结构。Indagationes Mathematicae，第39期，195-207年·Zbl 0435.06004号 [13] Kruskal，J.B.（1960）。好的拟序，树定理，和瓦佐尼猜想。美国数学学会学报，95，210-225·Zbl 0158.27002号 [14] Kruskal，J.B.（1972年）。良好拟序理论：一个经常被发现的概念。组合理论杂志（A），13，297-305·Zbl 0244.06002 ·doi:10.1016/0097-3165（72）90063-5 [15] Nash-Williams，C.St.J.A.（1963年）。关于良好拟序有限树。剑桥哲学学会数学学报，59833-835·Zbl 0122.25001号 [16] 纳什·威廉姆斯，C.St.J.A.（1965）。关于好拟序超限序列。剑桥哲学学会数学论文集，61，33-39·Zbl 0129.00602号 [17] 纳什·威廉姆斯，C.St.J.A.（1965a）。关于良拟序无限树。剑桥哲学学会数学学报，61697-720·Zbl 0144.23305号 [18] Nash-Williams，C.St.J.A.（1968年）。关于更好的拟序超限序列。剑桥哲学学会数学学报，64273-290·Zbl 0155.02404号 [19] Pfeiffer，H.（1970）。Ein Bezeichnungssystem fur Ordinalzahlen公司。数学档案。Logik u.Grundlagensforschung，13，74-90·Zbl 0209.02202号 ·doi:10.1007/BF01967653 [20] Rado，R.（1954）。向量集的部分良好排序。Mathematika，第189-95页·Zbl 0057.04302号 ·doi:10.1112/S0025579300000565 [21] 施密特·D（1972）。牛津大学论文。 [22] 施密特·D（1975）。充满单调递增函数的闭包序数的界。符号逻辑杂志，40，305-316·Zbl 0325.02019 ·doi:10.2307/2272156 [23] 施密特·D（1978）。关联序数函数，好的偏序和Skolem的一个问题。Zeitschr公司。f.数学。Logik u.Grundl公司。d.数学。，24, 297-302. ·Zbl 0403.03045号 ·doi:10.1002/malq.19780241904 [24] Schütte，K.（1954年）。Ordnungszahlen的Kennzeichnung durch rekursiv erklärte Funktionen。数学。安纳伦，127，15-32·Zbl 0055.04902号 ·doi:10.1007/BF01361109 [25] Takeuti，G.（1957年）。顺序图。日本数学学会杂志，9386-394·Zbl 0079.24410号 ·doi:10.2969/jmsj/00940386 [26] Takeuti，G.（1960年）。顺序图，II。日本数学学会杂志，12385-391·Zbl 0097.24602号 ·doi:10.2969/jmsj/01240385 [27] Wolk，E.S.（1967年）。部分有序集和部分序数。数学基础，60175-186·Zbl 0153.02601号 ·doi:10.4064/fm-60-2-175-186 [28] Ackermann，W.（1950）。Konstruktiver Aufbau eines Abschnitts der zweiten Cantorschen Zahlenklasse公司。数学。宙特。，53, 403-413. ·Zbl 0042.05004号 ·doi:10.1007/BF0175640 [29] Buchholz，W.（1977年）。Eine Erweiterung der Schnitt消除方法。习惯-施里夫。慕尼黑。 [30] Buchholz，W.和Pohlers，W.（1978年）。超限迭代归纳定义形式理论的可证明良序。符号逻辑杂志，43，118-125·Zbl 0411.03046号 ·doi:10.2307/2271954 [31] Feferman，S.（1964年）。谓词分析系统I.符号逻辑杂志，29，1-30·Zbl 0134.01101号 ·doi:10.2307/2269764 [32] 费费曼，S.（1968a）。谓词分析系统II：序数的表示。符号逻辑杂志，33193-220·Zbl 0162.02201号 [33] Feferman，S.（1968b）。关于证明理论的讲座。利兹暑期学校学报，斯普林格讲义，70，1-108·Zbl 0248.02033号 [34] Feferman，S.（1968c）。自治超限级数和预测数学的范围。《科学的逻辑、方法论和哲学III》，荷兰北部，121-135年·Zbl 0198.32302号 [35] Feferman，S.（1970年b）。广义归纳定义超限迭代的形式化理论和一些分析子系统。见[39]，303-326·Zbl 0218.02024号 [36] Gentzen，G.（1938年）。Forsch的Neue Fassung des Widerspruchsfreiheits beeises für die reine Zahlenthorie。zur Logik公司。und zur Grund公司。以Wissenschaften新系列为例。莱比锡，4，19-44·Zbl 0019.24103号 [37] Gentzen，G.（1943年）。Anfangsfällen的Beweisbarkeit and Unbeweisbarkeit von Anfangsfällen der transmitten Indukation in der reinen Zahlentheorie。Mathematicsche Annalen，119140-161·Zbl 0028.10201号 ·doi:10.1007/BF01564760 [38] Gerber，H.（1967年）。舒特的克拉默尔符号的延伸。Mathematische Annalen，174203-216·Zbl 0162.01901号 ·doi:10.1007/BF01360719 [39] Gerber，H.（1970年）。布鲁沃条形定理和序数符号系统。直觉主义和证明理论。A.Kino、J.Myhill和R.E.Vesley。北荷兰，1970年，327-338·Zbl 0205.01103号 [40] 哥德尔，K.（1958年）。这是一个非常有限的标准。辩证法。第2页，280-287·Zbl 0090.01003号 [41] 霍华德·W（1970）。将序数赋给有限类型的本原递归泛函的项。参见[39]，443-458·Zbl 0206.28202号 [42] 霍华德·W（1972）。抽象的构造序数系统。符号逻辑杂志，37，355-374·Zbl 0264.02026号 ·doi:10.2307/2272979 [43] Isles，D.（1970年）。正规序数和正规形式。参见[39]，339-362·Zbl 0206.28302号 [44] Kino，A.（1958年）。阿克曼序数形式理论的一致性证明。日本数学学会杂志，10287-303·Zbl 0103.24602号 ·doi:10.2969/jmsj/01030287 [45] Kino，A.（1968年）。关于可证明递归函数和序数递归函数。日本数学学会杂志，20456-476·Zbl 0195.30101号 ·doi:10.2969/jmsj/02030456 [46] Kino，A.（1970年）。无限级序数图理论的形式化。见[39]，363-376·Zbl 0206.28301号 [47] Kreisel，G.（1963年）。广义归纳定义。斯坦福大学报告。 [48] Kreisel，G.（1965年）。数学逻辑。现代数学讲座。艾德·萨蒂，威利，95-195·Zbl 0147.24703号 [49] Martin-Löf，P.（1971）。Hauptsatz用于迭代归纳定义的直觉主义理论。第二届会议记录。扫描。逻辑研讨会。北荷兰，第179-216页·Zbl 0231.02040号 [50] Pohlers，W.（1973）。Eine Grenze für die Herleitbarkeit der transfiniten Induktion in einem schwachen \（\Pi_l^l \）Fragment der Analysis。论文。慕尼黑。 [51] Pohlers，W.（1975年）。具有N次迭代归纳定义的系统中超限归纳可证性的上界。证明理论研讨会。基尔，1974年。施普林格讲义，500，271-289·Zbl 0351.02026号 [52] Pohlers，W.（1977年）。Beweistheorie der iterierten诱导性定义。München：习惯。 [53] Pohlers，W.（1978年）。序数与超限迭代归纳定义的形式理论相关。符号逻辑杂志，43，161-182·兹伯利0394.03049 ·doi:10.2307/2272816 [54] Schütte，K.（1964年）。Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik《超越诱导》。Archive für mathematische Logik und Grundlagenforschung.，《数学档案》。，1, 45-60. ·Zbl 0158.00705号 [55] Schütte，K.（1965年）。预测性井序。形式化系统和递归函数。北荷兰，第280-303页·Zbl 0134.01201号 [56] Schütte，K.（1968年）。Ein konstruktives系统von Ordinalzahlen，I，II。Archiv für mathematicsche Logik und Grundlageforschung，1126-137和（12（1969）12-17）·Zbl 0193.31102号 [57] Schütte，K.（1977年）。证明理论。斯普林格·兹伯利0367.02012 [58] Tait，W.（1965年）。超限类型的无限长项。形式系统和递归函数。荷兰北部，第76-185页。 [59] Tait，W.（1968年）。经典逻辑中的正规可导性。无限语言的语法和语义。施普林格讲义，72，204-256·Zbl 0165.00102号 [60] Takeuti，G.（1961年）。关于二阶量词的归纳定义。日本数学学会杂志，13，333-341·Zbl 0109.00602号 ·doi:10.2969/jmsj/0134033 [61] Takeuti，G.（1967年）。经典分析子系统的一致性证明。数学年鉴，86299-348·Zbl 0159.00905号 ·数字对象标识代码：10.2307/1970691 [62] Takeuti，G.（1975年）。证明理论。荷兰北部·Zbl 0354.02027号 [63] J·祖克。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。