TY - RPRT TI - $Π^0_4$ conservation of Ramsey's theorem for pairs AU - Quentin Le Houérou AU - Ludovic Levy Patey AU - Keita Yokoyama PY - 2026 UR - https://arxiv.org/abs/2404.18974 ID - 2404.18974 ER -