paper

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

Hindman's theorem does not code $\emptyset^{(ω)}$ in one application · wovepaper