How strong is ramsey's theorem if infinity can be weak?

JOURNAL OF SYMBOLIC LOGIC(2023)

引用 1|浏览2
暂无评分
摘要
We study the first-order consequences of Ramsey's Theorem for k-colourings of n-tuples, for fixed n, k >= 2, over the relatively weak second-order arithmetic theory RCA(0)(*). Using the Chong-Mourad coding lemma, we show that in a model of RCA(0)(*) that does not satisfy Sigma(0)(1) induction, RTkn is equivalent to its relativization to any proper Sigma(0)(1) -definable cut, so its truth value remains unchanged in all extensions of the model with the same first-order universe.
更多
查看译文
关键词
reverse mathematics,Ramsey's theorem,first-order arithmetic,nonstandard models,definable cuts,automorphisms,proof speedup
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要