TY  - RPRT
TI  - Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
AU  - Quentin Le Houérou
AU  - Ludovic Patey
PY  - 2026
UR  - https://arxiv.org/abs/2602.11906
ID  - 2602.11906
ER  -