Bounded Ramsey's theorem for triples in computability theory
Logic
2026-04-03 v1
Abstract
We study a restriction of Ramsey's theorem for 2-coloring of triples, in which homogeneous sets for color~1 are of bounded size (). We prove that the computational content of this statement is very close to Ramsey's theorem for pairs (, in that it satisfies the same known computability-theoretic upper bounds, but that is not computably-reducible to , even when allowing multiple applications of .
Keywords
Cite
@article{arxiv.2604.02092,
title = {Bounded Ramsey's theorem for triples in computability theory},
author = {Ludovic Patey and Paul Shafer},
journal= {arXiv preprint arXiv:2604.02092},
year = {2026}
}
Comments
30 pages