arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1807.00616math.COmath.LO
收藏

染色偶的序值Ramsey数的上界

Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs

Leszek Aleksander Kołodziejczyk, Keita Yokoyama

摘要:

我们研究拉姆齐定理对和两个颜色的背景下,理论的$α$ -大集介绍Ketonen和Solovay。证明了来自$ω^{300n}$ -大集的对的任何$2$ -着色都存在$ω^n$ -大齐次集.我们解释了这个界限的形式化版本是如何给出一个更直接的证明,并加强了Patey和Yokoyama [Adv. Math. 330(2018),1034- 1070]的最近结果,该结果指出拉姆齐关于对和两种颜色的定理是$\forallΣ^0_2$ -保守的,超过了公理理论$\mathsf{RCA}_0$(递归理解)。

英文摘要:

We study Ramsey's theorem for pairs and two colours in the context of the theory of $α$-large sets introduced by Ketonen and Solovay. We prove that any $2$-colouring of pairs from an $ω^{300n}$-large set admits an $ω^n$-large homogeneous set. We explain how a formalized version of this bound gives a more direct proof, and a strengthening, of the recent result of Patey and Yokoyama [Adv. Math. 330 (2018), 1034--1070] stating that Ramsey's theorem for pairs and two colours is $\forallΣ^0_2$-conservative over the axiomatic theory $\mathsf{RCA}_0$ (recursive comprehension).

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑