Using Ramsey's theorem once
Using Ramsey's theorem once
复制标题
DOI：
10.1007/s00153-019-00664-z
复制
发表时间：
2019-11-01
影响因子：
0.3
通讯作者：
Mummert, Carl
中科院分区：
文献类型：
--
作者：
Hirst, Jeffry L.;Mummert, Carl
我们向更高类型证明了 RT(2,4)，但是当添加排中律时，这不再成立。该论证使用了 Kohlenbach 的高阶逆向数学公理化、与修改的可归约性相关的结果以及 Weihrauch 可归约性的形式化。
We show that RT(2,4) to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach's axiomatization of higher order reverse mathematics, results related to modified reducibility, and a formalization of Weihrauch reducibility.