选择公理层级中的欣德曼定理
逻辑
2024-01-30 v3
摘要
在 的框架下，我们分析欣德曼有限并定理在无穷集上的一个版本，该定理通常需借助选择公理（）才能证明。我们建立了该命题与各种经典弱选择公理之间的蕴涵关系，从而精确地将该命题的强度定位为一种弱形式的选择公理。
引用
@article{arxiv.2203.06156,
title = {Hindman's Theorem in the hierarchy of Choice Principles},
author = {David J. Fernández-Bretón},
journal= {arXiv preprint arXiv:2203.06156},
year = {2024}
}
备注
17 pages, 2 figures. Last batch of minor changes to accurately reflect the final published version of the paper