The weakness of being cohesive, thin or free in reverse mathematics L Patey
Israel Journal of Mathematics 216 (2), 905-955, 2016
49 2016 The proof-theoretic strength of Ramsey's theorem for pairs and two colors L Patey, K Yokoyama
Advances in Mathematics 330, 1034-1070, 2018
38 2018 Iterative forcing and hyperimmunity in reverse mathematics L Patey
Computability 6 (3), 209-221, 2017
29 2017 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
20 2017 The strength of the tree theorem for pairs in reverse mathematics L Patey
The Journal of Symbolic Logic 81 (4), 1481-1499, 2016
18 2016 The reverse mathematics of Ramsey-type theorems L Patey
arXiv preprint arXiv:1601.04428, 2016
18 2016 Partial orders and immunity in reverse mathematics L Patey
Pursuit of the Universal: 12th Conference on Computability in Europe, CiE …, 2016
17 2016 Combinatorial weaknesses of Ramseyan principles L Patey
preparation. Available at http://ludovicpatey. com/media/research …, 2015
17 2015 Somewhere over the rainbow Ramsey theorem for pairs L Patey
arXiv preprint arXiv:1501.07424, 2015
17 2015 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
16 2020 Diagonally non-computable functions and fireworks L Bienvenu, L Patey
Information and Computation 253, 64-77, 2017
16 2017 Coloring trees in reverse mathematics DD Dzhafarov, L Patey
Advances in Mathematics 318, 497-514, 2017
15 2017 Thin set theorems and cone avoidance P Cholak, L Patey
Transactions of the American Mathematical Society 373 (4), 2743-2773, 2020
14 2020 -Encodability and Omniscient ReductionsB Monin, L Patey
14 2019 Coloring the rationals in reverse mathematics E Frittaion, L Patey
Computability 6 (4), 319-331, 2017
13 2017 SRT22 does not imply RT22 in ω-models B Monin, L Patey
Advances in Mathematics 389, 107903, 2021
12 2021 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
11 2017 Open questions about Ramsey-type statements in reverse mathematics L Patey
Bulletin of Symbolic Logic 22 (2), 151-169, 2016
11 2016 Degrees bounding principles and universal instances in reverse mathematics L Patey
Annals of Pure and Applied Logic 166 (11), 1165-1185, 2015
11 2015 Ramsey-type graph coloring and diagonal non-computability L Patey
Archive for Mathematical Logic 54 (7), 899-914, 2015
10 2015