中文

定位字卡尔森定理的逆数学

组合数学 2022-08-08 v1 逻辑

摘要

在本文中,我们在 ACA0+\mathsf{ACA}^+_0 中给出定位字卡尔森定理的两个证明。第一个证明是纯组合学的,风格类似于 Towsner 对 Hindman 定理的证明。第二个利用拓扑动力学表明,有界和的 Hindman 定理的迭代版本蕴含定位字的卡尔森定理。

关键词

引用

@article{arxiv.2208.03152,
  title  = {The reverse mathematics of Carlson's theorem for located words},
  author = {Tristan Bompard and Lu Liu and Ludovic Patey},
  journal= {arXiv preprint arXiv:2208.03152},
  year   = {2022}
}

备注

16 pages