Big Ramsey Degrees of Countable Ordinals
Abstract
Ramsey's theorem states that for all finite colorings of an infinite set, there exists an infinite homogeneous subset. What if we seek a homogeneous subset that is also order-equivalent to the original set? Let be a linearly ordered set and . The big Ramsey degree of in , denoted , is the least integer such that, for any finite coloring of the -subsets of , there exists such that (i) is order-equivalent to , and (ii) if the coloring is restricted to the -subsets of then at most colors are used. Ma\v{s}ulovi\'{c} \& \v{S}obot (2019) showed that . From this one can obtain . We give a direct proof that . Ma\v{s}ulovi\'{c} and \v{S}obot (2019) also showed that for all countable ordinals , and for all , is finite. We find exact value of for all ordinals less than and all .
Keywords
Cite
@article{arxiv.2305.07192,
title = {Big Ramsey Degrees of Countable Ordinals},
author = {Joanna Boyland and William Gasarch and Nathan Hurtig and Robert Rust},
journal= {arXiv preprint arXiv:2305.07192},
year = {2025}
}