The weakness of being cohesive, thin or free in reverse mathematics L Patey Israel Journal of Mathematics 216 (2), 905-955, 2016 | 53 | 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 | 48 | 2018 |
Iterative forcing and hyperimmunity in reverse mathematics L Patey Computability 6 (3), 209-221, 2017 | 34 | 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 | 22 | 2017 |
The strength of the tree theorem for pairs in reverse mathematics L Patey The Journal of Symbolic Logic 81 (4), 1481-1499, 2016 | 20 | 2016 |
Partial orders and immunity in reverse mathematics L Patey Pursuit of the Universal: 12th Conference on Computability in Europe, CiE …, 2016 | 20 | 2016 |
The reverse mathematics of Ramsey-type theorems L Patey arXiv preprint arXiv:1601.04428, 2016 | 19 | 2016 |
Somewhere over the rainbow Ramsey theorem for pairs L Patey arXiv preprint arXiv:1501.07424, 2015 | 19 | 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 | 18 | 2020 |
Diagonally non-computable functions and fireworks L Bienvenu, L Patey Information and Computation 253, 64-77, 2017 | 17 | 2017 |
Combinatorial weaknesses of Ramseyan principles L Patey preparation. Available at http://ludovicpatey. com/media/research …, 2015 | 17 | 2015 |
Coloring trees in reverse mathematics DD Dzhafarov, L Patey Advances in Mathematics 318, 497-514, 2017 | 16 | 2017 |
SRT22 does not imply RT22 in ω-models B Monin, L Patey Advances in Mathematics 389, 107903, 2021 | 15 | 2021 |
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 Reductions B Monin, L Patey | 14 | 2019 |
Coloring the rationals in reverse mathematics E Frittaion, L Patey Computability 6 (4), 319-331, 2017 | 13 | 2017 |
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 | 12 | 2017 |
Open questions about Ramsey-type statements in reverse mathematics L Patey Bulletin of Symbolic Logic 22 (2), 151-169, 2016 | 12 | 2016 |
Degrees bounding principles and universal instances in reverse mathematics L Patey Annals of Pure and Applied Logic 166 (11), 1165-1185, 2015 | 12 | 2015 |
Milliken's tree theorem and its applications: a computability-theoretic perspective PEA d'Auriac, PA Cholak, DD Dzhafarov, B Monin, L Patey arXiv preprint arXiv:2007.09739, 2020 | 11* | 2020 |