TY  - RPRT
TI  - Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
AU  - Lorenzo Carlucci
AU  - Giordano Celli
PY  - 2025
UR  - https://arxiv.org/abs/2511.21481
ID  - 2511.21481
ER  -