Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

40 résultats
Page :
triés par
Image document

Pigeons do not jump high

 Benoit Monin , Ludovic Patey
Advances in Mathematics, 2019, 352, pp.1066--1095. ⟨10.1016/j.aim.2019.06.026⟩
Article dans une revue hal-01888793v1
Image document

The weakness of the pigeonhole principle under hyperarithmetical reductions

 Benoit Monin , Ludovic Patey
Journal of Mathematical Logic, 2021, 21 (3), pp.2150013, 41. ⟨10.1142/S0219061321500136⟩
Article dans une revue hal-02991292v1
Image document

Carlson-Simpson's lemma and applications in reverse mathematics

 Paul-Elliot Anglès d'Auriac , Bastien Mignoty , Lu Liu , Ludovic Patey
Annals of Pure and Applied Logic, 2023, 174 (9), pp.103287
Article dans une revue hal-04093414v1
Image document

COH, SRT22, and multiple functionals

 Damir D Dzhafarov , Ludovic Patey
Computability, 2021, 10 (2), pp.111--121. ⟨10.3233/COM-190261⟩
Article dans une revue hal-02118585v1
Image document

Ramsey's theorem and products in the Weihrauch degrees

 Damir D Dzhafarov , Jun Le Goh , Denis R Hirschfeldt , Ludovic Patey , Arno Pauly
Computability, 2020, 9 (2), pp.85--110. ⟨10.3233/COM-180203⟩
Article dans une revue hal-01888805v1
Image document

The Rado Path Decomposition Theorem

 Peter Cholak , Gregory Igusa , Ludovic Patey , Mariya Soskova , Daniel Turetsky
Israel Journal of Mathematics, 2019, 234 (1), pp.179--208. ⟨10.1007/s11856-019-1916-0⟩
Article dans une revue hal-01888781v1
Image document

Partial orders and immunity in reverse mathematics

 Ludovic Patey
Computability, 2018, 7 (4), pp.323-339. ⟨10.3233/COM-170071⟩
Article dans une revue hal-01888773v1
Image document

The strength of the tree theorem for pairs in reverse mathematics

 Ludovic Patey
The Journal of Symbolic Logic, 2016, 81 (04), pp.1481 - 1499. ⟨10.1017/jsl.2015.80⟩
Article dans une revue hal-01888614v1
Image document

Iterative forcing and hyperimmunity in reverse mathematics

 Ludovic Patey
Computability, 2017, 6 (3), pp.209 - 221. ⟨10.3233/COM-160062⟩
Article dans une revue hal-01888601v1
Image document

The weakness of being cohesive, thin or free in reverse mathematics

 Ludovic Patey
Israel Journal of Mathematics, 2016, 216 (2), pp.905 - 955. ⟨10.1007/s11856-016-1433-3⟩
Article dans une revue hal-01888606v1
Image document

The reverse mathematics of Ramsey-type theorems

 Ludovic Patey
Logic [math.LO]. Université Paris Diderot (Paris 7) Sorbonne Paris Cité, 2016. English. ⟨NNT : ⟩
Thèse tel-01888675v1
Image document

Ramsey's theorem for singletons and strong computable reducibility

 Damir D Dzhafarov , Ludovic Patey , Reed D Solomon , Linda Brown Westrick
Proceedings of the American Mathematical Society, 2017, 145 (3), pp.1343 - 1355. ⟨10.1090/proc/13315⟩
Article dans une revue hal-01888750v1
Image document

The reverse mathematics of non-decreasing subsequences

 Ludovic Patey
Archive for Mathematical Logic, 2017, 56 (5-6), pp.491 - 506. ⟨10.1007/s00153-017-0536-9⟩
Article dans une revue hal-01888765v1
Image document

Relationships between computability-theoretic properties of problems

 Rodney Graham Downey , Noam Greenberg , Matthew Harrison-Trainor , Ludovic Patey , Daniel Turetsky
The Journal of Symbolic Logic, 2022, 87 (1), pp.47--71. ⟨10.1017/jsl.2020.38⟩
Article dans une revue hal-02118608v1
Image document

Computing sets from all infinite subsets

 Noam Greenberg , Matthew Harrison-Trainor , Ludovic Patey , Dan Turetsky
Transactions of the American Mathematical Society, 2021, 374 (11), pp.8131--8160. ⟨10.1090/tran/8468⟩
Article dans une revue hal-02992972v1
Image document

A computable analysis of variable words theorems

 Lu Liu , Benoit Monin , Ludovic Patey
Proceedings of the American Mathematical Society, 2019, 147 (2), pp.823--834. ⟨10.1090/proc/14269⟩
Article dans une revue hal-01888789v1
Image document

The Reverse Mathematics of CAC for trees

 Julien Cervelle , William Gaudelier , Ludovic Patey
The Journal of Symbolic Logic, In press, ⟨10.1017/jsl.2023.27⟩
Article dans une revue hal-04093397v1
Image document

Pi01-encodability and omniscient reductions

 Benoit Monin , Ludovic Patey
Notre Dame Journal of Formal Logic, 2019, 60 (1), pp.1--12. ⟨10.1215/00294527-2018-0020⟩
Article dans une revue hal-03362579v1
Image document

Π 0 1 ENCODABILITY AND OMNISCIENT REDUCTIONS

 Benoit Monin , Ludovic Patey
Notre Dame Journal of Formal Logic, 2016
Article dans une revue hal-01397286v1
Image document

On the logical strengths of partial solutions to mathematical problems

 Laurent Bienvenu , Ludovic Patey , Paul Shafer
Transactions of the London Mathematical Society, 2017, 4 (1), pp.30 - 71. ⟨10.1112/tlm3.12001⟩
Article dans une revue hal-01888542v1
Image document

Degrees bounding principles and universal instances in reverse mathematics

 Ludovic Patey
Annals of Pure and Applied Logic, 2015, 166 (11), pp.1165 - 1185. ⟨10.1016/j.apal.2015.07.003⟩
Article dans une revue hal-01888599v1
Image document

The proof-theoretic strength of Ramsey's theorem for pairs and two colors

 Ludovic Patey , Keita Yokoyama
Advances in Mathematics, 2018, 330, pp.1034 - 1070. ⟨10.1016/j.aim.2018.03.035⟩
Article dans une revue hal-01888655v1
Image document

The reverse mathematics of Carlson's theorem for located words

 Tristan Bompard , Lu Liu , Ludovic Patey
Journal of Combinatorics, In press
Article dans une revue hal-04254970v1
Image document

Milliken's tree theorem and its applications: a computability-theoretic perspective

 Paul-Elliot Anglès d'Auriac , Peter A. Cholak , Damir D. Dzhafarov , Benoît Monin , Ludovic Patey
Memoirs of the American Mathematical Society, 2024, 293 (1457), pp.vi+118. ⟨10.48550/arXiv.2007.09739⟩
Article dans une revue hal-02991282v1
Image document

Conservation of Ramsey's theorem for pairs and well-foundedness

 Quentin Le Houérou , Ludovic Levy Patey , Keita Yokoyama
2024
Pré-publication, Document de travail hal-04464369v1
Image document

Some results concerning the $\mathsf{SRT}^2_2$ vs. $\mathsf{COH}$ problem

 Peter Cholak , Damir D Dzhafarov , Denis R Hirschfeldt , Ludovic Patey
Computability, 2020, 9 (3-4), pp.193-217. ⟨10.3233/COM-190251⟩
Article dans une revue hal-02118599v1
Image document

SRT22 does not imply RT22 in omega-models

 Benoit Monin , Ludovic Patey
Advances in Mathematics, 2021, 389, Paper No. 107903, 32. ⟨10.1016/j.aim.2021.107903⟩
Article dans une revue hal-02991303v1
Image document

Open questions about Ramsey-type statements in reverse mathematics

 Ludovic Patey
Bulletin of Symbolic Logic, 2016, 22 (02), pp.151 - 169. ⟨10.1017/bsl.2015.40⟩
Article dans une revue hal-01888620v1
Image document

The complexity of satisfaction problems in reverse mathematics

 Ludovic Patey
Computability, 2015, 4 (1), pp.69-84
Article dans une revue hal-01888582v1
Image document

Dominating the Erdos-Moser theorem in reverse mathematics

 Ludovic Patey
Annals of Pure and Applied Logic, 2017, 168 (6), pp.1172 - 1209. ⟨10.1016/j.apal.2016.11.011⟩
Article dans une revue hal-01888615v1
Page :