关于 Higman 引理与 Kruskal 树定理的证明论关系及树状结构的独立性结果
逻辑
2026-02-06 v2
摘要
Higman 引理和 Kruskal 树定理是良好准序理论中最著名的两个结果之一。在其经典论文中，G. Higman 将所谓的 Higman 引理作为更一般定理的一个推论加以证明。该引理涉及关于良好准序上有限序列，而该定理则涉及任意高阶的抽象运算。J.B. Kruskal对这一更广泛框架充满了解：在其经典论文中，他不仅在证明关键步骤中运用了 Higman 引理，还遵循了 Higman 的证明框架。在论文结束时，Kruskal指出，Higman定理是自己树定理在有限度数的树上的一个特例。尽管他未提供正式的归约，但他包含了一个术语表，将树与代数背景下的概念进行了翻译。这种等价性后来由 D. Schmidt 和 M. Pouzet 阐明了。本文重新审视了这种等价性，以阐明在逆数学的基本系统 中，这两个定理之间的证明论关系。此外，还讨论了关于一阶和二阶算术的一些独立性结果。特别是，研究涉及Ackermann式术语或指数表达式的树状结构，揭示了与 Peano 算术及其相关二阶算术片段中独立的良根性属性。
引用
@article{arxiv.2511.11297,
title = {Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures},
author = {Gabriele Buriola and Andreas Weiermann},
journal= {arXiv preprint arXiv:2511.11297},
year = {2026}
}