Strong Reductions between Relatives of the Stable Ramsey's Theorem

David Nichols

A complete analysis is given of the computable reductions that hold between ${\mathsf{SRT}}_2^2$, ${\mathsf{SPT}}_2^2$, and ${\mathsf{SIPT}}_2^2$. In particular, while $\mathsf{D}^2_2\le…