English

Strong Reductions between Relatives of the Stable Ramsey's Theorem

Logic 2017-11-20 v1

Abstract

A complete analysis is given of the computable reductions that hold between SRT22\mathsf{SRT}^2_2, SPT22\mathsf{SPT}^2_2, and SIPT22\mathsf{SIPT}^2_2. In particular, while D22sWSIPT22sWSPT22sWSRT22\mathsf{D}^2_2\le_{\rm sW}\mathsf{SIPT}^2_2\le_{\rm sW}\mathsf{SPT}^2_2\le_{\rm sW}\mathsf{SRT}^2_2, it is shown that SRT22̸scSPT22̸scSIPT22̸scD22\mathsf{SRT}^2_2\not\le_{\rm sc}\mathsf{SPT}^2_2\not\le_{\rm sc}\mathsf{SIPT}^2_2\not\le_{\rm sc}\mathsf{D}^2_2.

Keywords

Cite

@article{arxiv.1711.06532,
  title  = {Strong Reductions between Relatives of the Stable Ramsey's Theorem},
  author = {David Nichols},
  journal= {arXiv preprint arXiv:1711.06532},
  year   = {2017}
}