Ludovic Patey

1. A computable analysis of variable words theorems
   2017/10/30 by Lu Liu, Benoît Monin, Liu, Lu +3 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #semigroups and automata theory #Algorithms and Data Compression
2. 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
3. Hindman's theorem does not code ∅^(ω) in one application
   2026/07/20 by Lu Liu, Ludovic Patey
   #math.LO #math.CO
4. Π⁰₄ conservation of a Carlson-Simpson lemma for 1-variable words
   2026/07/30 by Quentin Le Houérou, Ludovic Patey
   Mathematics · #math.LO #msc:03B30 #msc:03F35 #msc:05D10