{"id":"arxiv/2603.22579","url":"https://arxiv.org/abs/2603.22579","tags":["math.LO","math.CO"],"score":0,"title":"The strength of Ramsey's theorem for $α$-large sets","domain":"math.LO","source":"arxiv","authors":["Lorenzo Carlucci","Andrea Volpi","Konrad Zdanowski"],"reviews":0,"subject":"math.LO","summary":"We calibrate the reverse mathematical strength of a family of extensions of Ramsey's theorem to finite colorings of certain subsets of the natural numbers of unbounded finite dimension. Specifically, we analyze the principles $\\mathsf{RT}^{!α}_k$ asserting that every $k$-coloring of the exactly $α$-large subsets of an infinite $X \\subseteq \\mathbb{N}$ admits an infinite homogeneous set, where $α$-largeness is defined via systems of fundamental sequences in the style of Ketonen and Solovay. For each countable ordinal $α< Γ_0$ and each $k \\geq 2$, we prove over $\\mathsf{RCA}_0$ that the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-23","reactions":{}}