We stand with Ukraine  

Ludovic Patey

Orcid: 0000-0002-0304-7926

According to our database1, Ludovic Patey authored at least 25 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Partition Genericity and Pigeonhole Basis theorems.
[BibTeX]
[DOI]
Benoit Monin
,
Ludovic Patey
J. Symb. Log., 2024

THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$.
[BibTeX]
[DOI]
Julien Cervelle
,
William Gaudelier
,
Ludovic Patey
J. Symb. Log., 2024

The reverse mathematics of the pigeonhole hierarchy.
[BibTeX]
[DOI]
Quentin Le Houérou
,
Ludovic Levy Patey
,
Ahmed Mimouni
CoRR, 2024

2023
Carlson-Simpson's lemma and applications in reverse mathematics.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Ludovic Patey
J. Symb. Log., 2022

The Reverse Mathematics of the thin Set and ERDőS-Moser theorems.
[BibTeX]
[DOI]
Lu Liu
,
Ludovic Patey
J. Symb. Log., 2022

Relationships between Computability-Theoretic Properties of Problems.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Benoit Monin
,
Ludovic Patey
J. Math. Log., 2021

COH, SRT22, and multiple functionals.
[BibTeX]
[DOI]
Damir D. Dzhafarov
,
Ludovic Patey
Comput., 2021

2020
Ramsey's theorem and products in the Weihrauch degrees.
[BibTeX]
[DOI]
Damir D. Dzhafarov
,
Jun Le Goh
,
Denis R. Hirschfeldt
,
Ludovic Patey
,
Arno Pauly
Comput., 2020

Some results concerning the SRT22 vs. COH problem.
[BibTeX]
[DOI]
Peter A. Cholak
,
Damir D. Dzhafarov
,
Denis R. Hirschfeldt
,
Ludovic Patey
Comput., 2020

2019
Π<sub>1</sub>-Encodability and Omniscient Reductions.
[BibTeX]
[DOI]
Benoit Monin
,
Ludovic Patey
Notre Dame J. Formal Log., 2019

2018
Partial orders and immunity in reverse mathematics.
[BibTeX]
[DOI]
Ludovic Patey
Comput., 2018

2017
Diagonally non-computable functions and fireworks.
[BibTeX]
[DOI]
Laurent Bienvenu
,
Ludovic Patey
Inf. Comput., 2017

Iterative forcing and hyperimmunity in reverse mathematics.
[BibTeX]
[DOI]
Ludovic Patey
Comput., 2017

Controlling iterated jumps of solutions to combinatorial problems.
[BibTeX]
[DOI]
Ludovic Patey
Comput., 2017

Coloring the rationals in reverse mathematics.
[BibTeX]
[DOI]
Emanuele Frittaion
,
Ludovic Patey
Comput., 2017

Dominating the Erdős-Moser theorem in reverse mathematics.
[BibTeX]
[DOI]
Ludovic Patey
Ann. Pure Appl. Log., 2017

The reverse mathematics of non-decreasing subsequences.
[BibTeX]
[DOI]
Ludovic Patey
Arch. Math. Log., 2017

2016
The strength of the Tree Theorem for Pairs in Reverse Mathematics.
[BibTeX]
[DOI]
Ludovic Patey
J. Symb. Log., 2016

Open Questions about Ramsey-Type Statements in Reverse Mathematics.
[BibTeX]
[DOI]
Ludovic Patey
Bull. Symb. Log., 2016

2015
The complexity of satisfaction problems in reverse mathematics.
[BibTeX]
[DOI]
Ludovic Patey
Comput., 2015

Degrees bounding principles and universal instances in reverse mathematics.
[BibTeX]
[DOI]
Ludovic Patey
Ann. Pure Appl. Log., 2015

Ramsey-type graph coloring and diagonal non-computability.
[BibTeX]
[DOI]
Ludovic Patey
Arch. Math. Log., 2015

2009
Les " arbres empilés ": une nouvelle approche pour la visualisation des grands dendrogrammes.
[BibTeX]
[DOI]
Gilles Bisson
,
Ludovic Patey
Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, 2009


  Loading...