Weihrauch Reducibility Between Ramsey-Type Theorems and Well-Ordering Principles at the Level of $\varSigma ^0_2$-Induction.

Lorenzo Carlucci, Giordano Celli

Browse the full CiE paper archive.