TY - RPRT TI - Conservation of Ramsey's theorem for pairs and well-foundedness AU - Quentin Le Houérou AU - Ludovic Levy Patey AU - Keita Yokoyama PY - 2026 UR - https://arxiv.org/abs/2402.11616 ID - 2402.11616 ER -