English

Ramsey's theorem and products in the Weihrauch degrees

Logic 2019-10-22 v2

Abstract

We study the positions in the Weihrauch lattice of parallel products of various combinatorial principles related to Ramsey's theorem. Among other results, we obtain an answer to a question of Brattka, by showing that Ramsey's theorem for pairs (RT22\mathsf{RT}^2_2) is strictly Weihrauch below the parallel product of the stable Ramsey's theorem for pairs and the cohesive principle (SRT22×COH\mathsf{SRT}^2_2 \times \mathsf{COH}).

Keywords

Cite

@article{arxiv.1804.10968,
  title  = {Ramsey's theorem and products in the Weihrauch degrees},
  author = {Damir D. Dzhafarov and Jun Le Goh and Denis R. Hirschfeldt and Ludovic Patey and Arno Pauly},
  journal= {arXiv preprint arXiv:1804.10968},
  year   = {2019}
}

Comments

30 pages