Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $\hat{I}{\pounds }_2^0$-induction: A pilot study

Lorenzo Carlucci, Giordano Celli

We study the relations under Weihrauch reducibility of the well-ordering preservation principle for the operator $X\mapsto X^{\ddot{I}}‰$ and the Ordered Ramsey Theorem. Both principles ar…