参考文献
-
W.Buchholz，Kruskals定理隐含WF( ${\vartheta}{\Omega}^{\Omega}$ )《德文注释》，1993年。 -
S.N.Burris，《数论密度和逻辑极限定律》，《数学调查和专著》第86卷，美国数学学会，2001年。 -
D.H.J.de Jongh和R.Parikh，好的偏序和层次结构，Nederl.Akad。 韦滕施。 程序。 序列号。 A 80=指示。 数学。 39（1977年），第3期，195-207年。 -
R.L.Graham、D.E.Knuth和O.Patashnik，《混凝土数学》，Addison-Wesley出版社，第二版，1994年。 -
F.Harary、R.W.Robinson和A.J.Schwenk，确定各种树的渐近数量的二十步算法，J.Austral。 数学。 Soc.序列号。 A 20（1975），第4期，483-503。 https://doi.org/10.1017/S146788700016190 -
J.B.Kruskal，Well拟序，树定理和Vazsonyi猜想，Trans。 阿默尔。 数学。 Soc.95（1960），210-225。 -
G.Lee，公理化思维中的阶段转换，蒙斯特大学博士论文，2005年7月； http://wwwmath.uni-muenster.de/logik/Veroeffentlichungen/dis/6-1/index.html。 -
G.Lee，著名序数符号系统的比较 ${\varepsilon}_0$ Ann.Pure应用。 《逻辑学》147（2007），第1-2期，第48-70页。 https://doi.org/10.1016/j.apal.2007.03.004 -
I.Lepper，术语改写中的简化命令，蒙斯特大学博士论文，2001年12月； http://wwwmath.uni-muenster.de/logik/Veroeffentlichungen/dis/9/index.html。 -
A.I.Markushevich，复变量函数理论。 第二卷，英文修订版，由Richard A.Silverman翻译和编辑。 Prentice Hall公司，1965年。 -
R.Otter，《树的数量》，《数学年鉴》。 (2) 49 (1948), 583-599. https://doi.org/10.2307/1969046 -
F.Pelupessy，三个ramsey-like定理的相变结果，形式逻辑的Notre Dame J。 -
M.Rathjen和A.Weiermann，对Kruskal定理的实证研究，Ann.Pure Appl。 《逻辑》，60（1993），第1期，49-88。 https://doi.org/10.1016/0168-0072 （93）90192-G -
D.Schmidt，《井部分序及其最大序类型》，海德堡，1979年。 -
R.Sedgewick和P.Flajolet，算法分析简介，D.E.Knuth前言。， Addison-Wesley，1996年。 -
S.G.Simpson，有限树某些组合性质的不可证明性，《哈维·弗里德曼关于数学基础的研究》，《Stud.Logic Founds》第117卷。 数学。， 第87-117页，北荷兰，1985年。 -
R.L.Smith，Higman和Kruskal定理的某些有限形式的一致性强度，在Harvey Friedman关于数学基础的研究中，《发现逻辑研究》第117卷。 数学。， 第119-136页，北荷兰，1985年。 -
R.P.Stanley，《生成函数》，《组合学研究》，MAA Stud.Math.第17卷。， 第100-141页。 数学。 美国协会，1978年。 -
O.Veblen，有限序数和超限序数的连续递增函数，Trans。 Amer的。 数学。 《社会分类》第9卷（1908年），第3期，280-292页。 https://doi.org/10.1090/S0002-9947-1908-1500814-9 -
A.Weiermann，《图形枚举在PA中的应用》，J.符号逻辑68（2003），第1期，第5-16页。 -
H.S.Wilf，《生成功能学》，学术出版社，第二版，1994年。