曼纽尔·勒曼;里德·所罗门;亨利·托斯纳 拉姆齐配对定理下的分离原理。 （英语） Zbl 1326.03021号 数学杂志。日志。 13，第2号，文章ID 13500744页（2013）. 摘要：近年来，逆向数学中有大量关于自然数学原理的工作，这些原理可以从RT、拉姆齐配对定理中得到证明。这些原则往往不属于逆向数学的“五大”系统，RT以下的子系统出现了一个复杂的画面。在本文中，我们回答了有关这些子系统的两个开放性问题，特别是ADS不等同于CAC，EM不等同于RT。 引用于5评论引用于27文件 MSC公司： 03B30型 经典理论基础（包括逆向数学） 35楼03号 二阶和高阶算术和片段 关键词：逆向数学;迭代强制;广告;CAC公司;成对的拉姆齐定理;Erdős-Moser定理 PDF格式BibTeX公司 XML格式引用 \textit{M.Lerman}等人，J.Math。日志。13，第2号，文章ID 135007，44页（2013；兹bl 1326.03021） 全文： DOI程序 arXiv公司 参考文献： [1] 内政部：10.2307/2694910·Zbl 0977.03033号 ·doi:10.2307/2694910 [2] 内政部：10.2178/jsl/174668391·Zbl 1118.03055号 ·doi:10.2178/jsl/1174668391 [3] 内政部：10.1090/S0002-9947-09-04847-8·Zbl 1184.03005号 ·doi:10.1090/S0002-9947-09-04847-8 [4] 内政部：10.1215/00294527-1715716·Zbl 1253.03090号 ·doi:10.1215/00294527-1715716 [5] 内政部：10.1017/CBO9780511581007·doi:10.1017/CBO9780511581007 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。