Hindman's theorem does not code in one application
arXiv:2607.17666
Abstract
We prove that for every non-arithmetic set~ and every arithmetic finite coloring of~, there is an infinite set whose non-empty finite sums of distinct elements is monochromatic, and is not -computable. We also study restrictions of Hindman's theorem to simple colorings.
19 pages