稳定拉姆齐定理相关命题之间的强归约

我们给出了 $\mathsf{SRT}^2_2$、$\mathsf{SPT}^2_2$ 与 $\mathsf{SIPT}^2_2$ 之间成立的可计算归约的完整分析。具体而言，虽然 $\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$，但证明了 $\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$。