d'Auriac, Paul-Elliot Anglès

1. 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)
2. 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)