Patey, Ludovic

1. The proof-theoretic strength of Ramsey's theorem for pairs and two colors
   2016/01/01 by Ludovic Patey, Patey, Ludovic, Keita Yokoyama +1 · 4 citations
   Computer Science · Mathematics · #Advanced Topology and Set Theory #Complexity and Algorithms in Graphs #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO)
2. The strength of the tree theorem for pairs in reverse mathematics
   2015/05/05 by Patey, Ludovic · 1 citation
   #03B30 #03F35 #FOS: Mathematics #Logic (math.LO)
3. Open questions about Ramsey-type statements in reverse mathematics
   2015/06/15 by Patey, Ludovic · 1 citation
   #03B30 #03F35 #FOS: Mathematics #Logic (math.LO)
4. Coloring trees in reverse mathematics
   2016/09/09 by Dzhafarov, Damir, Patey, Ludovic · 1 citation
   #FOS: Mathematics #Logic (math.LO)
5. The reverse mathematics of Ramsey-type theorems
   2016/01/18 by Ludovic Patey, Patey, Ludovic · 4 citations
   Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory #Mathematical and Theoretical Analysis
6. Milliken's tree theorem and its applications: a computability-theoretic perspective
   2020/07/19 by d'Auriac, Paul-Elliot Anglès, Cholak, Peter A., Dzhafarov, Damir D. +2 · 1 citation
   #03D80 #03E05 #05D10 #FOS: Mathematics #Logic (math.LO)
7. Carlson-Simpson's lemma and applications in reverse mathematics
   2022/07/26 by d'Auriac, Paul-Elliot Anglès, Mignoty, Bastien, Liu, Lu +1 · 1 citation
   #FOS: Mathematics #Logic (math.LO)
8. The reverse mathematics of Carlson's theorem for located words
   2022/08/05 by Bompard, Tristan, Liu, Lu, Patey, Ludovic · 1 citation
   #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
9. Relationships between computability-theoretic properties of problems
   2019/03/11 by Downey, Rod, Greenberg, Noam, Harrison-Trainor, Matthew +2 · 1 citation
   #FOS: Mathematics #Logic (math.LO)
10. A computable analysis of variable words theorems
    2017/10/30 by Lu Liu, Liu, Lu, Benoît Monin +3 · 1 citation
    Computer Science · #Computability, Logic, AI Algorithms #semigroups and automata theory #Algorithms and Data Compression
11. The reverse mathematics of the Thin set and Erdős-Moser theorems
    2021/03/14 by Liu, Lu, Patey, Ludovic · 1 citation
    #03B30 03F35 #FOS: Mathematics #Logic (math.LO)
12. Iterative forcing and hyperimmunity in reverse mathematics
    2015/01/30 by Ludovic Patey, Patey, Ludovic · 3 citations
    Computer Science · Mathematics · #03B30 #03F35 #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
13. The reverse mathematics of bounded Ramsey's theorem for pairs
    2025/09/03 by QUENTIN LE HOUÉROU, Houérou, Quentin Le, LUDOVIC PATEY +1 · 1 citation
    #03B30 #03D80 (Secondary) #03F30 (Primary) 05D10 #FOS: Mathematics #Logic (math.LO)