TY - RPRT TI - A recursive coloring function without $Π_3^0$ solution for Hindman theorem AU - Yuke Liao PY - 2023 UR - https://arxiv.org/abs/2206.06859 ID - 2206.06859 ER -