Ludovic Patey

According to our database, Ludovic Patey authored at least 22 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Carlson-Simpson's lemma and applications in reverse mathematics.

Paul-Elliot Anglès d'Auriac, Lu Liu, Bastien Mignoty, Ludovic Patey

Ann. Pure Appl. Log., October, 2023

2022

Ramsey-like theorems and moduli of Computation.

Ludovic Patey

J. Symb. Log., 2022

The Reverse Mathematics of the thin Set and ERDőS-Moser theorems.

Lu Liu, Ludovic Patey

J. Symb. Log., 2022

Relationships between Computability-Theoretic Properties of Problems.

Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky

J. Symb. Log., 2022

2021

The weakness of the pigeonhole principle under hyperarithmetical reductions.

Benoit Monin, Ludovic Patey

J. Math. Log., 2021

COH, SRT22, and multiple functionals.

Damir D. Dzhafarov, Ludovic Patey

Comput., 2021

2020

Ramsey's theorem and products in the Weihrauch degrees.

Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt, Ludovic Patey, Arno Pauly

Comput., 2020

Some results concerning the SRT22 vs. COH problem.

Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt, Ludovic Patey

Comput., 2020

2019

Π₁-Encodability and Omniscient Reductions.

Benoit Monin, Ludovic Patey

Notre Dame J. Formal Log., 2019

2018

Partial orders and immunity in reverse mathematics.

Ludovic Patey

Comput., 2018

2017

Diagonally non-computable functions and fireworks.

Laurent Bienvenu, Ludovic Patey

Inf. Comput., 2017

Iterative forcing and hyperimmunity in reverse mathematics.

Ludovic Patey

Comput., 2017

Controlling iterated jumps of solutions to combinatorial problems.

Ludovic Patey

Comput., 2017

Coloring the rationals in reverse mathematics.

Emanuele Frittaion, Ludovic Patey

Comput., 2017

Dominating the Erdős-Moser theorem in reverse mathematics.

Ludovic Patey

Ann. Pure Appl. Log., 2017

The reverse mathematics of non-decreasing subsequences.

Ludovic Patey

Arch. Math. Log., 2017

2016

The strength of the Tree Theorem for Pairs in Reverse Mathematics.

Ludovic Patey

J. Symb. Log., 2016

Open Questions about Ramsey-Type Statements in Reverse Mathematics.

Ludovic Patey

Bull. Symb. Log., 2016

2015

The complexity of satisfaction problems in reverse mathematics.

Ludovic Patey

Comput., 2015

Degrees bounding principles and universal instances in reverse mathematics.

Ludovic Patey

Ann. Pure Appl. Log., 2015

Ramsey-type graph coloring and diagonal non-computability.

Ludovic Patey

Arch. Math. Log., 2015

2009

Les " arbres empilés ": une nouvelle approche pour la visualisation des grands dendrogrammes.

Gilles Bisson, Ludovic Patey

Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, 2009