交叉约束基定理与划分的乘积
Cross-constraint basis theorems and products of partitions
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分析而来,可能存在错误,请以论文正文为准。