Ludovic Patey

27 papers C 3Journal 23Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Partition Genericity and Pigeonhole Basis theorems.
J. Symb. Log.
Benoit Monin, Ludovic Patey
2024 J jnl
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$.
J. Symb. Log.
Julien Cervelle, William Gaudelier, Ludovic Patey
2023 J jnl
Carlson-Simpson's lemma and applications in reverse mathematics.
Ann. Pure Appl. Log.
Paul-Elliot Anglès d'Auriac, Lu Liu, Bastien Mignoty, Ludovic Patey
2022 J jnl
Ramsey-like theorems and moduli of Computation.
J. Symb. Log.
Ludovic Patey
2022 J jnl
Relationships between Computability-Theoretic Properties of Problems.
J. Symb. Log.
Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky
2022 J jnl
The Reverse Mathematics of the thin Set and ERDőS-Moser theorems.
J. Symb. Log.
Lu Liu, Ludovic Patey
2021 J jnl
COH, SRT22, and multiple functionals.
Comput.
Damir D. Dzhafarov, Ludovic Patey
2021 J jnl
The weakness of the pigeonhole principle under hyperarithmetical reductions.
J. Math. Log.
Benoit Monin, Ludovic Patey
2020 J jnl
Ramsey's theorem and products in the Weihrauch degrees.
Comput.
Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly
2020 J jnl
Some results concerning the SRT22 vs. COH problem.
Comput.
Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt, Ludovic Patey
2019 J jnl
Π
Notre Dame J. Formal Log.
Benoit Monin, Ludovic Patey
2018 J jnl
Partial orders and immunity in reverse mathematics.
Comput.
Ludovic Patey
2017 J jnl
Coloring the rationals in reverse mathematics.
Comput.
Emanuele Frittaion, Ludovic Patey
2017 J jnl
Controlling iterated jumps of solutions to combinatorial problems.
Comput.
Ludovic Patey
2017 J jnl
Diagonally non-computable functions and fireworks.
Inf. Comput.
Laurent Bienvenu, Ludovic Patey
2017 J jnl
Dominating the Erdős-Moser theorem in reverse mathematics.
Ann. Pure Appl. Log.
Ludovic Patey
2017 J jnl
Iterative forcing and hyperimmunity in reverse mathematics.
Comput.
Ludovic Patey
2017 J jnl
The reverse mathematics of non-decreasing subsequences.
Arch. Math. Log.
Ludovic Patey
2016 J jnl
Open Questions about Ramsey-Type Statements in Reverse Mathematics.
Bull. Symb. Log.
Ludovic Patey
2016 C conf
Partial Orders and Immunity in Reverse Mathematics.
CiE
Ludovic Patey
2016 J jnl
The strength of the Tree Theorem for Pairs in Reverse Mathematics.
J. Symb. Log.
Ludovic Patey
2015 J jnl
Degrees bounding principles and universal instances in reverse mathematics.
Ann. Pure Appl. Log.
Ludovic Patey
2015 C conf
Iterative Forcing and Hyperimmunity in Reverse Mathematics.
CiE
Ludovic Patey
2015 J jnl
Ramsey-type graph coloring and diagonal non-computability.
Arch. Math. Log.
Ludovic Patey
2015 J jnl
The complexity of satisfaction problems in reverse mathematics.
Comput.
Ludovic Patey
2014 C conf
The Complexity of Satisfaction Problems in Reverse Mathematics.
CiE
Ludovic Patey
2009 — conf
Les " arbres empilés ": une nouvelle approche pour la visualisation des grands dendrogrammes.
IHM
Gilles Bisson, Ludovic Patey