Searching problems above arithmetical transfinite recursion

Yudai Suzuki, Keita Yokoyama

We investigate some Weihrauch problems between ${\mathsf{ATR}}_2$ and ${\mathsf{C}}_{\ddot{I}{‰}^{\ddot{I}}‰}$ . We show that the fixed point theorem for monotone operators on the Cantor space (a weaker…