English

Ramsey's theorem for singletons and strong computable reducibility

Logic 2016-06-01 v3

Abstract

We answer a question posed by Hirschfeldt and Jockusch by showing that whenever k>k > \ell, Ramsey's theorem for singletons and kk-colorings, RTk1\mathsf{RT}^1_k, is not strongly computably reducible to the stable Ramsey's theorem for \ell-colorings, SRT2\mathsf{SRT}^2_\ell. Our proof actually establishes the following considerably stronger fact: given k>k > \ell, there is a coloring c:ωkc : \omega \to k such that for every stable coloring d:[ω]2d : [\omega]^2 \to \ell (computable from cc or not), there is an infinite homogeneous set HH for dd that computes no infinite homogeneous set for cc. This also answers a separate question of Dzhafarov, as it follows that the cohesive principle, COH\mathsf{COH}, is not strongly computably reducible to the stable Ramsey's theorem for all colorings, SRT<2\mathsf{SRT}^2_{<\infty}. The latter is the strongest partial result to date in the direction of giving a negative answer to the longstanding open question of whether COH\mathsf{COH} is implied by the stable Ramsey's theorem in ω\omega-models of RCA0\mathsf{RCA}_0.

Keywords

Cite

@article{arxiv.1602.04481,
  title  = {Ramsey's theorem for singletons and strong computable reducibility},
  author = {Damir D. Dzhafarov and Ludovic Patey and Reed Solomon and Linda Brown Westrick},
  journal= {arXiv preprint arXiv:1602.04481},
  year   = {2016}
}

Comments

13 pages

R2 v1 2026-06-22T12:49:57.983Z