极小坏数组的逻辑强度
逻辑
2023-04-04 v1 组合数学
摘要
本文研究良拟序（better quasi order）概念的逻辑方面，该概念由 C. Nash-Williams 引入（Mathematical Proceedings of the Cambridge Philosophical Society 1965 & 1968）。良拟序理论中的一个核心工具是极小坏数组引理。我们表明，从数学逻辑中的逆数学（reverse mathematics）框架来看，该引理异常强。具体而言，在基理论 之上，它与 -概括的集合存在原理等价。
引用
@article{arxiv.2304.00278,
title = {The logical strength of minimal bad arrays},
author = {Anton Freund and Fedor Pakhomov and Giovanni Soldà},
journal= {arXiv preprint arXiv:2304.00278},
year = {2023}
}