{"id":"arxiv/2608.25339","url":"https://arxiv.org/abs/2608.25339","tags":["math.LO"],"score":0,"title":"Thin set theorem for arbitrarily many colors implies bounding","domain":"math.LO","source":"arxiv","authors":["Yamato Miyata","Keita Yokoyama"],"reviews":0,"subject":"math.LO","summary":"The thin set theorem $\\mathsf{RT}_{<\\infty,\\ell}^{n}$ asserts that for every natural number $k$, each coloring $c\\colon[\\mathbb{N}]^n \\to \\{0,1,\\dots,k-1\\}$ admits an infinite set $H$ such that $|c([H]^n)| \\le \\ell$. Within the framework of the reverse mathematics of second-order arithmetic, $\\mathsf{RT}_{<\\infty,\\ell}^{n}$ implies the $Σ_{n+1}^{0}$-bounding principle ($\\mathsf{B}Σ_{n+1}^{0}$) over $\\mathsf{RCA}_0$ for all natural numbers $n, \\ell \\ge 1$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-26","reactions":{}}