Q. Le Houérou and L. Patey. "The reverse mathematics of bounded Ramsey's theorem for pairs." The Journal of Symbolic Logic. Published online 2026:1-26. doi:10.1017/jsl.2026.10226.
Download Paper
Q. Le Houérou and L. Patey (2026). "Ramsey-like theorems for separable permutations." Transactions of the AMS, to appear.
Download Paper
Carlucci L, Gjetaj O, Le houérou Q, Levy Patey L. "Ramsey-like theorems for the Schreier Barrier." The Journal of Symbolic Logic. Published online 2025:1-30. doi:10.1017/jsl.2025.10104
Download Paper
Le Houérou, Q., Levy Patey, L. and Yokoyama, K. (2026). "Pi04 conservation of Ramsey's theorem for pairs." J. London Math. Soc., 113: e70419. https://doi.org/10.1112/jlms.70419
Download Paper
Q. Le Houérou and L. Levy Patey. "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). "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. Patey (2026). "Pi04 conservation of a Carlson-Simpson lemma for 1-variable words."
Download Paper
Q. Le Houérou and L. Patey (2026). "Largeness notions and polytime translation for ∀Σ03-consequences of RT22."
Download Paper
Q. Le Houérou and L. Patey (2026). "Partition theorems for Ketonen-Solovay largeness."
Download Paper
Q. Le Houérou, A. Mimouni and L. Levy Patey (2024). "The reverse mathematics of the pigeonhole hierarchy."
Download Paper