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
Posts by Collection
portfolio
publications
Pi04 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 Paper
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 Paper
The 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
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
Ramsey-like theorems for separable permutations
Q. Le Houérou and L. Patey (2025). "Ramsey-like theorems for separable permutations."
Download Paper
The 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 Paper
Partition theorems for Ketonen-Solovay largeness
Q. Le Houérou and L. Patey (2026). "Partition theorems for Ketonen-Solovay largeness."
Download Paper
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 Paper