Conservation of Ramsey's theorem for pairs and well-foundedness - Quentin Le Houérou; Ludovic Levy Patey; Keita Yokoyama (2024)