A recursive coloring function without $\Pi_3^0$ solution for Hindman theorem
Logic
2023-05-10 v6
Abstract
We show that there exists a recursive coloring function such that any set is not a solution to for Hindman's theorem. We also show that there exists a recursive coloring function such that any set is not a solution to for Hindman's theorem restricted on sum of at most three numbers.
Keywords
Cite
@article{arxiv.2206.06859,
title = {A recursive coloring function without $\Pi_3^0$ solution for Hindman theorem},
author = {Yuke Liao},
journal= {arXiv preprint arXiv:2206.06859},
year = {2023}
}