Valency Hub
alphaFeedback
LP

Ludovic Patey

0000-0002-0304-7926
math.LOmath.COcs.LO

On Valency

published · living versions
W_rfhcw4xf·v1 · currentpublished
The first-order part of the Ordered Variable Word theorem
1 version

Preprints & journals

56 papers in the corpus · 2014–2026
The first-order part of the Ordered Variable Word theorem2610.27643v1 · Ludovic Patey2026 · 0 citationsarXivon Valency
The weakness of typicality2609.00884v1 · Eric P. Astor, Laurent Bienvenu, Damir Dzhafarov et al.2026 · 0 citationsarXiv
Π40\Pi^0_4 conservation of a Carlson-Simpson lemma for 1-variable words2607.28116v1 · Quentin Le Hou'erou, Ludovic Patey2026 · 0 citationsarXiv
Hindman's theorem does not code ∅(ω)\emptyset^{(\omega)} in one application2607.17666v1 · Lu Liu, Ludovic Patey2026 · 0 citationsarXiv
The reverse mathematics of the Ordered Variable Word theorem2606.12962v2 · Lu Liu, Ludovic Patey2026 · 0 citationsarXiv
Bounded Ramsey's theorem for triples in computability theory2604.02092v1 · Ludovic Patey, Paul Shafer2026 · 0 citationsarXiv
Largeness notions and polytime translation for ∀Σ30\forall \Sigma^0_3-consequences of RT22\mathsf{RT}^2_22602.11906v2 · Quentin Le Hou'erou, Ludovic Patey2026 · 0 citationsarXiv
Partition theorems for Ketonen-Solovay largeness: Hardy-like version2602.08778v2 · Quentin Le Hou'erou, Ludovic Patey2026 · 0 citationsarXiv
The reverse mathematics of bounded Ramsey's theorem for pairs2509.03688v2 · Quentin Le Hou'erou, Ludovic Patey2025 · 0 citationsarXiv
Ramsey-like theorems and immunities2508.15597v2 · Ahmed Mimouni, Ludovic Patey2025 · 0 citationsarXiv
Ramsey-like theorems for separable permutations2507.07606v2 · Quentin Le Hou'erou, Ludovic Patey2025 · 0 citationsarXiv
Ramsey-like theorems for the Schreier barrier2412.11598v3 · Lorenzo Carlucci, Oriola Gjetaj, Quentin Le Hou'erou et al.2024 · 1 citationarXiv
Cross-constraint basis theorems and products of partitions2407.02206v1 · Julien Cervelle, William Gaudelier, Ludovic Levy Patey2024 · 0 citationsarXiv
The reverse mathematics of the pigeonhole hierarchy2407.01236v2 · Quentin Le Hou'erou, Ludovic Levy Patey, Ahmed Mimouni2024 · 0 citationsarXiv
Π40\Pi^0_4 conservation of the Ordered Variable Word theorem2404.18749v2 · Quentin Le Hou'erou, Ludovic Levy Patey2024 · 0 citationsarXiv
Π40\Pi^0_4 conservation of Ramsey's theorem for pairs2404.18974v3 · Quentin Le Hou'erou, Ludovic Levy Patey, Keita Yokoyama2024 · 0 citationsarXiv
Conservation of Ramsey's theorem for pairs and well-foundedness2402.11616v3 · Quentin Le Hou'erou, Ludovic Levy Patey, Keita Yokoyama2024 · 0 citationsarXiv
The weakness of the Erdős-Moser theorem under arithmetic reductions2310.17968v1 · Ludovic Levy Patey, Ahmed Mimouni2023 · 0 citationsarXiv
The reverse mathematics of Carlson's theorem for located words2208.03152v1 · Tristan Bompard, Lu Liu, Ludovic Patey2022 · 0 citationsarXiv
Carlson-Simpson's lemma and applications in reverse mathematics2207.12828v2 · Paul-Elliot Angles d'Auriac, Bastien Mignoty, Lu Liu et al.2022 · 1 citationarXiv
The Reverse Mathematics of CAC for trees2206.00571v2 · Julien Cervelle, William Gaudelier, Ludovic Patey2022 · 0 citationsarXiv
Partition genericity and pigeonhole basis theorems2204.02705v1 · Benoit Monin, Ludovic Patey2022 · 2 citationsJ. symb. log. 89 (2024) 829-857
The reverse mathematics of the Thin set and Erdős-Moser theorems2103.07880v2 · Lu Liu, Ludovic Patey2021 · 2 citationsarXiv
Computing sets from all infinite subsets2011.03386v1 · Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey et al.2020 · 1 citationarXiv
Milliken's tree theorem and its applications: a computability-theoretic perspective2007.09739v2 · Paul-Elliot Angles d'Auriac, Peter A. Cholak, Damir D. Dzhafarov et al.2020 · 6 citationsarXiv
The weakness of the pigeonhole principle under hyperarithmetical reductions1905.08425v2 · Benoit Monin, Ludovic Patey2019 · 4 citationsarXiv
SRT22 does not imply RT22 in omega-models1905.08427v3 · Benoit Monin, Ludovic Patey2019 · 2 citationsarXiv
COH, SRT22, and multiple functionals1905.00321v3 · Damir Dzhafarov, Ludovic Patey2019 · 2 citationsarXiv
Relationships between computability-theoretic properties of problems1903.04273v1 · Rod Downey, Noam Greenberg, Matthew Harrison-Trainor et al.2019 · 3 citationsarXiv
Some results concerning the SRT22\mathsf{SRT}^2_2 vs. COH\mathsf{COH} problem1901.10326v2 · Peter A. Cholak, Damir D. Dzhafarov, Denis R. Hirschfeldt et al.2019 · 1 citationarXiv
Ramsey-like theorems and moduli of computation1901.04388v1 · Ludovic Patey2019 · 9 citationsarXiv
Thin set theorems and cone avoidance1812.00188v3 · Peter Cholak, Ludovic Patey2018 · 8 citationsarXiv
Ramsey's theorem and products in the Weihrauch degrees1804.10968v2 · Damir D. Dzhafarov, Jun Le Goh, Denis R. Hirschfeldt et al.2018 · 7 citationsarXiv
Pigeons do not jump high1803.09771v3 · Benoit Monin, Ludovic Patey2018 · 5 citationsarXiv
A computable analysis of variable words theorems1710.11219v2 · Lu Liu, Benoit Monin, Ludovic Patey2017 · 4 citationsarXiv
The Rado Path Decomposition Theorem1610.03364v3 · Peter Cholak, Gregory Igusa, Ludovic Patey et al.2016 · 1 citationarXiv
Coloring trees in reverse mathematics1609.02627v1 · Damir Dzhafarov, Ludovic Patey2016 · 8 citationsarXiv
Partial orders and immunity in reverse mathematics1607.04506v2 · Ludovic Patey2016 · 12 citationsarXiv
The reverse mathematics of non-decreasing subsequences1603.08833v1 · Ludovic Patey2016 · 1 citationarXiv
Pi01 encodability and omniscient reductions1603.01086v2 · Benoit Monin, Ludovic Patey2016 · 6 citationsNotre Dame J. Formal Logic 60, no. 1 (2019), 1-12
Ramsey's theorem for singletons and strong computable reducibility1602.04481v3 · Damir D. Dzhafarov, Ludovic Patey, Reed Solomon et al.2016 · 12 citationsarXiv
The reverse mathematics of Ramsey-type theorems1601.04428v2 · Ludovic Patey2016 · 7 citationsarXiv
The proof-theoretic strength of Ramsey's theorem for pairs and two colors1601.00050v4 · Ludovic Patey, Keita Yokoyama2016 · 23 citationsarXiv
Controlling iterated jumps of solutions to combinatorial problems1509.05340v2 · Ludovic Patey2015 · 7 citationsarXiv
Coloring the rationals in reverse mathematics1508.00752v2 · Emanuele Frittaion, Ludovic Patey2015 · 7 citationsarXiv
Open questions about Ramsey-type statements in reverse mathematics1506.04780v4 · Ludovic Patey2015 · 8 citationsarXiv
Dominating the Erdos-Moser theorem in reverse mathematics1505.03425v2 · Ludovic Patey2015 · 1 citationarXiv
The strength of the tree theorem for pairs in reverse mathematics1505.01057v2 · Ludovic Patey2015 · 11 citationsarXiv
The weakness of being cohesive, thin or free in reverse mathematics1502.03709v4 · Ludovic Patey2015 · 45 citationsarXiv
Iterative forcing and hyperimmunity in reverse mathematics1501.07709v2 · Ludovic Patey2015 · 18 citationsarXiv
Career total: 85 works. 56 are in this corpus.Showing the 50 most recent.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.