The strength of Ramsey's theorem for $\alpha$-large sets
Abstract
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 asserting that every -coloring of the exactly -large subsets of an infinite 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 and each , we prove over that the hierarchy of theorems corresponds exactly to the hierarchy of systems axiomatized by closure under transfinite Turing jumps, yielding a fine-grained classification between and . Our results extend previous work on the case and provide a uniform correspondence between countable indecomposable ordinals below and natural Ramsey-like theorems.
Keywords
Cite
@article{arxiv.2603.22579,
title = {The strength of Ramsey's theorem for $\alpha$-large sets},
author = {Lorenzo Carlucci and Andrea Volpi and Konrad Zdanowski},
journal= {arXiv preprint arXiv:2603.22579},
year = {2026}
}