Ramsey-like theorems for the Schreier barrier
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
Publications
Pi04 conservation of Ramsey’s theorem for pairs
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 PaperPi04 conservation of the Ordered Variable Word theorem
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 PaperConservation 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
Articles
Largeness notions and polytime translation for ∀Σ03-consequences of RT22
Q. Le Houérou and L. Patey (2026). "Largeness notions and polytime translation for ∀Σ03-consequences of RT22."
Download PaperPartition theorems for Ketonen-Solovay largeness
Q. Le Houérou and L. Patey (2026). "Partition theorems for Ketonen-Solovay largeness."
Download PaperThe reverse mathematics of bounded Ramsey’s theorem for pairs
Q. Le Houérou and L. Patey (2025). "The reverse mathematics of bounded Ramsey's theorem for pairs."
Download PaperRamsey-like theorems for separable permutations
Q. Le Houérou and L. Patey (2025). "Ramsey-like theorems for separable permutations."
Download PaperThe reverse mathematics of the pigeonhole hierarchy
Q. Le Houérou, A. Mimouni and L. Levy Patey (2024). "The reverse mathematics of the pigeonhole hierarchy."
Download Paper