Follow
Ludovic Patey
Ludovic Patey
Etudiant en mathématiques
Verified email at ens.fr
Title
Cited by
Cited by
Year
The weakness of being cohesive, thin or free in reverse mathematics
L Patey
Israel Journal of Mathematics 216 (2), 905-955, 2016
472016
The proof-theoretic strength of Ramsey's theorem for pairs and two colors
L Patey, K Yokoyama
Advances in Mathematics 330, 1034-1070, 2018
322018
Iterative forcing and hyperimmunity in reverse mathematics
L Patey
Computability 6 (3), 209-221, 2017
282017
Ramsey’s theorem for singletons and strong computable reducibility
D Dzhafarov, L Patey, R Solomon, L Westrick
Proceedings of the American Mathematical Society 145 (3), 1343-1355, 2017
182017
The reverse mathematics of Ramsey-type theorems
L Patey
arXiv preprint arXiv:1601.04428, 2016
182016
The strength of the tree theorem for pairs in reverse mathematics
L Patey
The Journal of Symbolic Logic 81 (4), 1481-1499, 2016
172016
Combinatorial weaknesses of Ramseyan principles
L Patey
preparation. Available at http://ludovicpatey. com/media/research …, 2015
172015
Somewhere over the rainbow Ramsey theorem for pairs
L Patey
arXiv preprint arXiv:1501.07424, 2015
172015
Diagonally non-computable functions and fireworks
L Bienvenu, L Patey
Information and Computation 253, 64-77, 2017
162017
Partial orders and immunity in reverse mathematics
L Patey
Pursuit of the Universal: 12th Conference on Computability in Europe, CiE …, 2016
162016
Coloring trees in reverse mathematics
DD Dzhafarov, L Patey
Advances in Mathematics 318, 497-514, 2017
152017
Ramsey’s theorem and products in the Weihrauch degrees
DD Dzhafarov, JL Goh, DR Hirschfeldt, L Patey, A Pauly
Computability 9 (2), 85-110, 2020
142020
Coloring the rationals in reverse mathematics
E Frittaion, L Patey
Computability 6 (4), 319-331, 2017
122017
Open questions about Ramsey-type statements in reverse mathematics
L Patey
Bulletin of Symbolic Logic 22 (2), 151-169, 2016
122016
Thin set theorems and cone avoidance
P Cholak, L Patey
HAL 2019, 2019
112019
-Encodability and Omniscient Reductions
B Monin, L Patey
102019
On the logical strengths of partial solutions to mathematical problems
L Bienvenu, L Patey, P Shafer
Transactions of the London Mathematical Society 4 (1), 30-71, 2017
102017
Ramsey-type graph coloring and diagonal non-computability
L Patey
Archive for Mathematical Logic 54 (7-8), 899-914, 2015
102015
Degrees bounding principles and universal instances in reverse mathematics
L Patey
Annals of Pure and Applied Logic 166 (11), 1165-1185, 2015
102015
A Ramsey-type König’s lemma and its variants
L Bienvenu, L Patey, P Shafer
arXiv preprint arXiv:1411.5874, 2014
102014
The system can't perform the operation now. Try again later.
Articles 1–20