Ramsey's theorem for singletons and strong computable reducibility
Abstract
We answer a question posed by Hirschfeldt and Jockusch by showing that whenever , Ramsey's theorem for singletons and -colorings, , is not strongly computably reducible to the stable Ramsey's theorem for -colorings, . Our proof actually establishes the following considerably stronger fact: given , there is a coloring such that for every stable coloring (computable from or not), there is an infinite homogeneous set for that computes no infinite homogeneous set for . This also answers a separate question of Dzhafarov, as it follows that the cohesive principle, , is not strongly computably reducible to the stable Ramsey's theorem for all colorings, . The latter is the strongest partial result to date in the direction of giving a negative answer to the longstanding open question of whether is implied by the stable Ramsey's theorem in -models of .
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