Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs
复制标题
用于对着色的有序值拉姆齐数的一些上限
DOI：
10.1007/s00029-020-00577-3
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Yokoyama Keita
中科院分区：
文献类型：
--
作者：
Kolodziejczyk Leszek Aleksander;Yokoyama Keita
我们研究拉姆齐定理对和两种颜色的背景下，理论的大集介绍Ketonen和Solovay。本文证明了来自一个大集的任何对的2-着色都包含一个大齐次集。我们解释了这个界限的形式化版本是如何给出一个更直接的证明，并加强了Patey和Yokoyama（Adv Math 330：1034-1070，2018）的最近结果，即Ramsey关于对和两种颜色的定理在公理理论（递归理解）上是保守的。
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-large set admits an-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: 1034–1070, 2018) stating that Ramsey’s theorem for pairs and two colours is-conservative over the axiomatic theory(recursive comprehension).
登录
查看更多内容
DOI：
10.1016/s0049-237x(08)71130-3
发表时间：
1977
期刊：
Studies in logic and the foundations of mathematics
影响因子：
--
作者：
J. Paris
通讯作者：
J. Paris
对 $alpha$-large 集进行分区 $alpha<varepsilon_{omega}$
DOI：
--
发表时间：
2010
期刊：
arXiv: Combinatorics
影响因子：
--
作者：
M. Smet;A. Weiermann
通讯作者：
A. Weiermann
无限拉姆塞扬原理的强度可以通过其密度来获得
DOI：
10.1016/j.apal.2017.03.005
发表时间：
2017
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
A. Bovykin;A. Weiermann
通讯作者：
A. Weiermann
评论：Stephen G. Simpson，二阶算术子系统
影响因子：
0.6
作者：
Peter A. Cholak
通讯作者：
Peter A. Cholak
快速增长的 Ramsey 函数
DOI：
--
发表时间：
1981
期刊：
影响因子：
--
作者：
Jussi KETONENt;Robert SOLOVAYtt
通讯作者：
Robert SOLOVAYtt