树上对的Ramsey定理的强度：I.弱König引理
AMS MathViewer支持的HTML文章
摘要：
工具书类
彼得·乔拉克 , 卡尔·乔库什 、和 西奥多·斯拉曼 , 关于对的Ramsey定理的强度 ，J.符号逻辑 66 （2001），第1期，第1-55页。 先生 1825173 ，内政部 10.2307/2694910 C.T.Chong先生 , 魏丽 , 王伟（音译） 、和 岳阳 , 关于树的拉姆齐定理的强度 高级数学。 369 (2020), 107180, 39. 先生 4093609 ，内政部 2016年10月10日/j.aim.2020.107180 C.T.Chong公司 , 西奥多·斯拉曼 、和 岳阳 , 成对稳定Ramsey定理的元数学 ，J.Amer。 数学。 Soc公司。 27 （2014），第3期，863–892。 先生 3194495 ，内政部 10.1090/S0894-0347-2014-00789-X C.T.Chong先生 , 西奥多·斯拉曼 、和 岳阳 , Ramsey对定理的诱导强度 高级数学。 308 （2017），第121–141页。 先生 3600057 ，内政部 2016年10月10日/j.aim.2016.11.036 贾里德·科尔杜 , 马西娅·格罗泽克 、和 约瑟夫·米莱蒂 , 逆向数学与树的Ramsey性质 ，J.符号逻辑 75 （2010），第3期，945–954。 先生 2723776 ，内政部 10.2178/jsl/1278682209 丹尼斯·坎帕·德夫林 , OMEGA上的一些分划定理和超滤波器 ，ProQuest LLC，密歇根州安阿伯，1980年。 论文（博士）-达特茅斯学院。 先生 2628717 娜塔莎·多布里宁， Ramsey理论在Rado图和无限有限分枝树上的反数学问题列表 ，arXiv： 1808.10227 . 达米尔·德扎法罗夫 , 杰弗里·赫斯特 、和 塔玛拉·J·拉金斯 , 树的拉姆齐定理：极化树定理和稳定性概念 ，建筑。 数学。 逻辑 49 （2010），第3期，399–415。 先生 2609990 ，内政部 2007年10月10日/00153-010-0179-6 达米尔·德扎法罗夫 和 卢多维奇·帕蒂 , 逆向数学中的树着色 高级数学。 318 (2017), 497–514. 先生 3689748 ，内政部 10.1016/j.aim.2017.08.009 P.Erdős公司 , A.哈伊纳尔 、和 洛佩萨 , 图在着色图中的强嵌入 《无限与有限集》（Colloq.，Keszthely，1973；在P.Erdős 60岁生日时致辞），第一卷，《Colloq.Math》。 《János Bolyai学会》，第10卷，北荷兰，阿姆斯特丹，1975年，第585-595页。 先生 0382049 丹尼斯·赫施费尔特 和 理查德·肖尔 , 组合原理弱于拉姆齐对定理 ，J.符号逻辑 72 （2007），第1期，171–206。 先生 2298478 ，内政部 10.2178/jsl/1174668391 丹尼斯·赫施费尔特 , 小卡尔·G·约克什。 , 比约恩·科霍斯·汉森 , 斯特芬·伦普 、和 西奥多·斯拉曼 , 与拉姆齐对定理有关的一些组合原理的强度 ，无限的计算前景。 第二部分。 Lect，演讲。 注释序列。 Inst.数学。 科学。 国家。 新加坡大学。， 第15卷，《世界科学》。 出版物。， 新泽西州哈肯萨克，2008年，第143-161页。 先生 2449463 ，内政部 10.1142/9789812796554_ {0}008 小卡尔·G·约克什。 , 拉姆齐定理与递归理论 ，J.符号逻辑 37 (1972), 268–280. 先生 376319 ，内政部 10.2307/2272972 刘佳怡 , ${\mathsf{RT}}^2_2$并不意味着${\mathsf{WKL}}_0$ ，J.符号逻辑 77 （2012），第2期，609–620。 先生 2963024 ，内政部 10.2178/jsl/1333566640 陆柳 , 避免闭合集的圆锥 , 事务处理。 阿默尔。 数学。 Soc公司。 367 (2015), 3号 , 1609–1630. 先生 3286494 ，内政部 10.1090/S0002-9947-2014-06049-2 Benoit Monin和Ludovic Patey，$\mathsf｛SRT｝^2_2$ 并不意味着 $\mathsf{COH}$英寸 $\omega$-型号 ，arXiv： 1905.08427 . 莱昂内尔·阮文哲 , 基于Kechris-Pestov-Todorcevic对应的结构Ramsey理论和拓扑动力学综述 ，Zb。 半径（Beogr.） 17(25) （2015），no.组合分析中的选定主题，189-207。 先生 3362231 Ludovic Patey， 拉姆西原理的组合弱点 ，正在准备中。 可在 http://ludovicpatey.com/media/research/combinatial-waknesses-draft.pdf 卢多维克·佩蒂 , 逆向数学中对偶树定理的强度 ，J.Symb。 日志。 81 （2016），第4期，第1481–1499页。 先生 3579119 ，内政部 10.1017/jsl.2015.80 卢多维克·佩蒂 , 逆向数学中的迭代强迫与超免疫 ，可计算性 6 （2017），第3期，209–221。 先生 3689068 ，内政部 10.3233/COM-160062 卢多维克·佩蒂 和 Keita Yokoyama先生 , 对和两种颜色的Ramsey定理的证明理论强度 高级数学。 330 (2018), 1034–1070. 先生 3787563 ，内政部 2016年10月10日/j.aim.2018.03.035 莫里斯·普泽特 和 诺伯特·绍尔 , Rado图的边划分 ，组合数学 16 （1996），第4期，505–520。 先生 1433638 ，内政部 2007年10月10日/BF01271269 N.W.绍尔 , Rado图的着色子图 ，组合数学 26 （2006），第2期，第231–253页。 先生 2223636 ，内政部 2007年10月10日/00493-006-0015-0 大卫·西塔彭 和 西奥多·斯拉曼 , 关于拉姆齐定理的强度 ，《圣母院J.形式逻辑》 36 （1995年），第4期，570-582。 特刊：算术模型。 先生 1368468 ，内政部 10.1305/ndjfl/1040136917号 斯蒂芬·辛普森 , 二阶算术子系统 ，第2版，《逻辑透视》，剑桥大学出版社，剑桥； 符号逻辑协会，波基普西，纽约，2009年。 先生 2517689 ，内政部 10.1017/CBO9780511581007 斯特沃·托多切维奇 , 拉姆齐空间简介 《数学研究年鉴》，第174卷，普林斯顿大学出版社，新泽西州普林斯顿，2010年。 先生 2603812 ，内政部 10.1515/9781400835409 余晓康 和 斯蒂芬·辛普森 , 测度理论与弱König引理 ，建筑。 数学。 逻辑 30 （1990），第3期，171-180。 先生 1080236 ，内政部 2007年10月10日/BF01621469
其他信息
赤达冲 附属机构：新加坡国立大学数学系，新加坡119076 MR作者ID： 48725 电子邮件： chongct@nus.edu.sg 魏丽 附属机构：新加坡国立大学数学系，新加坡119076 电子邮件： matliw@nus.edu.sg公司 陆柳 所属单位：中南大学数学系，湖南省长沙市，410083 MR作者ID： 980145 电子邮件： g.jiayi.liu@gmail.com 岳阳 附属机构：新加坡国立大学数学系，新加坡119076 电子邮件： matyangy@nus.edu.sg 编辑接收日期：2020年2月1日 编辑收到修订版：2020年6月21日和2020年10月26日 电子发布日期：2021年5月20日 附加说明：第一作者的研究部分得到了NUS拨款C-146-000-042-001和WBS:R389-000-040-101的支持。 第三位作者的研究部分得到了国家大学R389-000-040-101资助和中国湖南省自然科学基金2018JJ3623资助。 第四位作者的研究得到了新加坡教育部拨款MOE-2019-t2-2-121的部分支持。 ©版权所有2021 美国数学学会 日记账：事务处理。 阿默尔。 数学。 Soc公司。 374 (2021), 5545-5581 MSC（2020）：初级03B30、03F35、03D80； 次要05D10 内政部： https://doi.org/10.1090/tran/8339 MathSciNet评论： 4293780