wqo 与 bqo 的反推数学
逻辑
2020-03-06 v5 组合数学
摘要
在本文中，我们从反推数学的视角对 wqo 与 bqo 理论进行了综述。我们既考虑了基础结果（如概念不同定义的等价性及基本闭包性质），也考虑了更高级的定理。从反推数学视角对这两类结果进行分类提出了有趣的挑战，我们还涵盖了某些长期悬而未决问题的最新进展。
引用
@article{arxiv.1707.08365,
title = {The reverse mathematics of wqos and bqos},
author = {Alberto Marcone},
journal= {arXiv preprint arXiv:1707.08365},
year = {2020}
}
备注
version 5 corrects a mistake in the statement of Theorem 6.22 and updates the bibliography. To appear in: Well quasi-orders in computation, logic, language and reasoning (P. Schuster, M. Seisenberger, A. Weiermann, eds.), Trends in Logic, Springer