TY - RPRT TI - The weakness of the pigeonhole principle under hyperarithmetical reductions AU - Benoit Monin AU - Ludovic Patey PY - 2020 UR - https://arxiv.org/abs/1905.08425 ID - 1905.08425 ER -