论文标题
卡尔森定理的相反数学
The reverse mathematics of Carlson's theorem for located words
论文作者
论文摘要
在本文中，我们给出了Carlson定理的两个证明，以〜$ \ MATHSF {ACA}^+_ 0 $中的单词。第一个证明是纯粹是组合的，它是陶氏定理证明的风格。第二种使用拓扑动力来表明，Hindman定理的有限总和的迭代版本意味着Carlson的定理的定理。
In this article, we give two proofs of Carlson's theorem for located words in~$\mathsf{ACA}^+_0$. The first proof is purely combinatorial, in the style of Towsner's proof of Hindman's theorem. The second uses topological dynamics to show that an iterated version of Hindman's theorem for bounded sums implies Carlson's theorem for located words.
