arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2407.02206math.LO
收藏

交叉约束基定理与划分的乘积

Cross-constraint basis theorems and products of partitions

Julien Cervelle, William Gaudelier, Ludovic Levy Patey

AI总结:

本文综述并扩展了陆刘的技术,证明了n元组三色Ramsey定理不能可计算归约到n元组两色Ramsey定理的有限乘积。

摘要:

我们既综述又扩展了陆刘提出的一种新技术,用以证明在可计算归约下Ramsey型定理的乘积之间的分离定理。我们利用该技术证明,关于n元组和三色的Ramsey定理不可计算归约到关于n元组和两色的Ramsey定理的有限乘积。

英文摘要:

We both survey and extend a new technique from Lu Liu to prove separation theorems between products of Ramsey-type theorems over computable reducibility. We use this technique to show that Ramsey's theorem for $n$-tuples and three colors is not computably reducible to finite products of Ramsey's theorem for $n$-tuples and two colors.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑