Ramsey's theorem for singletons and strong computable reducibility - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles Proceedings of the American Mathematical Society Year : 2017

Ramsey's theorem for singletons and strong computable reducibility

Abstract

We answer a question posed by Hirschfeldt and Jockusch by showing that whenever k > , Ramsey's theorem for singletons and k-colorings, RT 1 k , is not strongly computably reducible to the stable Ramsey's theorem for-colorings, SRT 2. Our proof actually establishes the following considerably stronger fact: given k > , there is a coloring c : ω → k such that for every stable coloring d : [ω] 2 → (computable from c or not), there is an infinite homogeneous set H for d that computes no infinite homogeneous set for c. This also answers a separate question of Dzhafarov, as it follows that the cohesive principle, COH, is not strongly computably reducible to the stable Ramsey's theorem for all colorings, SRT 2 <∞. 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 is implied by the stable Ramsey's theorem in ω-models of RCA 0 .

Domains

Logic [math.LO]
Fichier principal
Vignette du fichier
RT13andSRT22.pdf (350.83 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01888750 , version 1 (05-10-2018)

Identifiers

Cite

Damir D Dzhafarov, Ludovic Patey, Reed D Solomon, Linda Brown Westrick. Ramsey's theorem for singletons and strong computable reducibility. Proceedings of the American Mathematical Society, 2017, 145 (3), pp.1343 - 1355. ⟨10.1090/proc/13315⟩. ⟨hal-01888750⟩
61 View
133 Download

Altmetric

Share

More