English

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 (BRT23\mathsf{BRT}^3_2). We prove that the computational content of this statement is very close to Ramsey's theorem for pairs (RT22)\mathsf{RT}^2_2), in that it satisfies the same known computability-theoretic upper bounds, but that BRT23\mathsf{BRT}^3_2 is not computably-reducible to RT22\mathsf{RT}^2_2, even when allowing multiple applications of RT22\mathsf{RT}^2_2.

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

R2 v1 2026-07-01T11:51:06.302Z