Ramsey-like theorems for the Schreier barrier
Recommended citation: L. Carlucci, O. Gjetaj, Q. Le Houérou and L. Levy Patey (2024). "Ramsey-like theorems for the Schreier barrier.".
Download Paper
Publications
Preprints
The reverse mathematics of the pigeonhole hierarchy
Recommended citation: Q. Le Houérou, A. Mimouni and L. Levy Patey (2024). "The reverse mathematics of the pigeonhole hierarchy."
Download Paper
Pi04 conservation of Ramsey’s theorem for pairs
Recommended citation: Q. Le Houérou, L. Levy Patey and K. Yokoyama (2024). "Pi04 conservation of Ramsey's theorem for pairs."
Download Paper
Pi04 conservation of the Ordered Variable Word theorem
Recommended citation: Q. Le Houérou and L. Levy Patey (2024). "Pi04 conservation of the Ordered Variable Word theorem.".
Download Paper
Conservation of Ramsey’s theorem for pairs and well-foundedness
Recommended citation: Q. Le Houérou, L. Levy Patey and K. Yokoyama (2024). "Conservation of Ramsey's theorem for pairs and well-foundedness.".
Download Paper