摘要：存在一个递归着色函数$c$，使得任何$Pi^0_3$集合都不是Hindman定理的解。我们还证明了存在一个递归着色函数$c$，使得在至多三个数字之和的情况下，任何$Delta^0_3$集合也不是Hindman定理的解。
作者：Yuke Liao
论文ID：2206.06859
分类：Logic
分类简称：math.LO
提交时间：2023-05-10
PDF 下载： 英文版 中文版pdf翻译中