选择公理层级中的Hindman定理
Hindman's Theorem in the hierarchy of Choice Principles
AI总结：
本研究在ZF公理体系下分析无穷集上的Hindman有限并定理版本，建立其与各类经典弱选择公理的蕴含关系，精确定位该命题作为选择公理弱形式的强度。
摘要：
在$\u27a2ZF$公理体系下，我们分析了无穷集合上的Hindman有限并定理的一个版本，该定理的证明通常需要选择公理。我们建立了这一命题与各类经典弱选择公理之间的蕴含关系，从而精确定位了该命题作为$\u27a2AC$弱形式的强度。
英文摘要：
In the context of $\mathsf{ZF}$, we analyze a version of Hindman's finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various classical weak choice principles, thus precisely locating the strength of the statement as a weak form of the $\mathsf{AC}$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
