TY - RPRT TI - Reductions of well-ordering principles to combinatorial theorems AU - Lorenzo Carlucci AU - Leonardo Mainardi AU - Konrad Zdanowski PY - 2024 UR - https://arxiv.org/abs/2401.04451 ID - 2401.04451 ER -