Ludovic Patey

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 24

Top Topics

Tractable Cases

Computer Assisted Instruction

Combinatorial Problems

Partial Ordering

Top Venues

Ann. Pure Appl. Log.

Publications

Benoit Monin, Ludovic Patey
Partition Genericity and Pigeonhole Basis theorems. J. Symb. Log. 89 (2) (2024)
Paul-Elliot Anglès d'Auriac, Lu Liu, Bastien Mignoty, Ludovic Patey
Carlson-Simpson's lemma and applications in reverse mathematics. Ann. Pure Appl. Log. 174 (9) (2023)
Ludovic Patey
Ramsey-like theorems and moduli of Computation. J. Symb. Log. 87 (1) (2022)
Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky
Relationships between Computability-Theoretic Properties of Problems. J. Symb. Log. 87 (1) (2022)
Lu Liu, Ludovic Patey
The Reverse Mathematics of the thin Set and ERDőS-Moser theorems. J. Symb. Log. 87 (1) (2022)
Damir D. Dzhafarov, Ludovic Patey
COH, SRT22, and multiple functionals. Comput. 10 (2) (2021)
Benoit Monin, Ludovic Patey
The weakness of the pigeonhole principle under hyperarithmetical reductions. J. Math. Log. 21 (3) (2021)
Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly
Ramsey's theorem and products in the Weihrauch degrees. Comput. 9 (2) (2020)
Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt, Ludovic Patey
Some results concerning the SRT22 vs. COH problem. Comput. 9 (3-4) (2020)
Benoit Monin, Ludovic Patey
-Encodability and Omniscient Reductions. Notre Dame J. Formal Log. 60 (1) (2019)
Ludovic Patey
Partial orders and immunity in reverse mathematics. Comput. 7 (4) (2018)
Ludovic Patey
Controlling iterated jumps of solutions to combinatorial problems. Comput. 6 (1) (2017)
Laurent Bienvenu, Ludovic Patey
Diagonally non-computable functions and fireworks. Inf. Comput. 253 (2017)
Ludovic Patey
Iterative forcing and hyperimmunity in reverse mathematics. Comput. 6 (3) (2017)
Ludovic Patey
Dominating the Erdős-Moser theorem in reverse mathematics. Ann. Pure Appl. Log. 168 (6) (2017)
Emanuele Frittaion, Ludovic Patey
Coloring the rationals in reverse mathematics. Comput. 6 (4) (2017)
Ludovic Patey
The reverse mathematics of non-decreasing subsequences. Arch. Math. Log. 56 (5-6) (2017)
Ludovic Patey
Open Questions about Ramsey-Type Statements in Reverse Mathematics. Bull. Symb. Log. 22 (2) (2016)
Ludovic Patey
Partial Orders and Immunity in Reverse Mathematics. CiE (2016)
Ludovic Patey
The strength of the Tree Theorem for Pairs in Reverse Mathematics. J. Symb. Log. 81 (4) (2016)
Ludovic Patey
Iterative Forcing and Hyperimmunity in Reverse Mathematics. CiE (2015)
Ludovic Patey
Ramsey-type graph coloring and diagonal non-computability. Arch. Math. Log. 54 (7-8) (2015)
Ludovic Patey
The complexity of satisfaction problems in reverse mathematics. Comput. 4 (1) (2015)
Ludovic Patey
Degrees bounding principles and universal instances in reverse mathematics. Ann. Pure Appl. Log. 166 (11) (2015)
Ludovic Patey
The Complexity of Satisfaction Problems in Reverse Mathematics. CiE (2014)
Gilles Bisson, Ludovic Patey
Les " arbres empilés ": une nouvelle approche pour la visualisation des grands dendrogrammes. IHM (2009)