In Search of the First-Order Part of Ramsey's Theorem for Pairs

Leszek Aleksander Kolodziejczyk,Keita Yokoyama

CONNECTING WITH COMPUTABILITY（2021）

引用 0|浏览4

暂无评分

摘要

In reverse mathematics, determining the first-order consequences of Ramsey's theorem for pairs and two colors is a long-standing open problem. In this paper, we give an overview of some recent developments related to this problem.

查看译文

关键词

Reverse mathematics, Ramey's theorem, First-order strength

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要