逆数学中的链-反链原则的若干变体
逻辑
2025-01-17 v1
摘要
将链-反链原则 CAC 限制到遵循整数自然排序的偏序集，这在经典逆数学意义上是平凡的区别。我们利用可计算性理论归约来正式建立区分 CAC 与上述限制的特征，以阐明在 RCA0 框架下被掩盖的显著差异。两者的稳定版本也以这种方式进行分析。
引用
@article{arxiv.2501.09566,
title = {Variants of the chain-antichain principle in reverse mathematics},
author = {Noah A. Hughes},
journal= {arXiv preprint arXiv:2501.09566},
year = {2025}
}