Conservation of Ramsey’s theorem for pairs and well-foundedness
Q. Le Houérou, L. Levy Patey and K. Yokoyama (2024). "Conservation of Ramsey's theorem for pairs and well-foundedness." Trans. Amer. Math. Soc., 378(3):2157–2186, 2025.
Download Paper
Q. Le Houérou, L. Levy Patey and K. Yokoyama (2024). "Conservation of Ramsey's theorem for pairs and well-foundedness." Trans. Amer. Math. Soc., 378(3):2157–2186, 2025.
Download Paper
Q. Le Houérou and L. Levy Patey (2024). "Pi04 conservation of the Ordered Variable Word theorem." The Journal of Symbolic Logic. Published online 2025:1-16. doi:10.1017/jsl.2024.64.
Download Paper
Q. Le Houérou, L. Levy Patey and K. Yokoyama (2024). "Pi04 conservation of Ramsey's theorem for pairs."
Download Paper
Q. Le Houérou, A. Mimouni and L. Levy Patey (2024). "The reverse mathematics of the pigeonhole hierarchy."
Download Paper
L. Carlucci, O. Gjetaj, Q. Le Houérou and L. Levy Patey (2024). "Ramsey-like theorems for the Schreier barrier.".
Download Paper