Houérou, Quentin Le

1. Conservation of Ramsey's theorem for pairs and well-foundedness
   2024/02/18 by Houérou, Quentin Le, Patey, Ludovic Levy, Yokoyama, Keita · 2 citations
   #FOS: Mathematics #Logic (math.LO)
2. Π⁰₄ conservation of the Ordered Variable Word theorem
   2024/04/29 by Houérou, Quentin Le, Patey, Ludovic Levy · 1 citation
   #03B30 #03F30 #05D10 #FOS: Mathematics #Logic (math.LO)
3. The reverse mathematics of bounded Ramsey's theorem for pairs
   2025/09/03 by QUENTIN LE HOUÉROU, LUDOVIC PATEY, Houérou, Quentin Le +1 · 1 citation
   #03B30 #03D80 (Secondary) #03F30 (Primary) 05D10 #FOS: Mathematics #Logic (math.LO)