一致均匀 Kruskal-Friedman 定理的逆数学
逻辑
2025-08-13 v2
摘要
Kruskal-Friedman 定理断言：在任意带有序数标签的有限树无限序列中，存在一棵树可通过满足特定间隙条件的嵌入映入其后的一棵树中。这一对原始 Kruskal 定理的加强由 I. Kříž（Ann. Math. 1989）证明，证实了 H. Friedman 的猜想，而 Friedman 已对有限多种标签建立了该结果。它提供了从 Gödel 定理独立性现象中最强的数学例子之一。由于该间隙条件与 N. Robertson 和 P. Seymour 的图子式定理相关，其尤为重要。在本文中，我们考虑 Kruskal-Friedman 定理的一个均匀版本，将结果从树推广到一般递归数据类型。我们的主要定理表明，在逆数学的基理论 下，该均匀版本既等价于 -超限递归，也等价于 Kříž 的极小坏序列原理。这为有限组合学中无穷的作用提供了新见解。
引用
@article{arxiv.2112.08727,
title = {Reverse mathematics of a uniform Kruskal-Friedman theorem},
author = {Anton Freund},
journal= {arXiv preprint arXiv:2112.08727},
year = {2025}
}