| 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 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 |
| 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 |
Gilles BissonChercheur CNRS, Laboratoire LIGVerified email at imag.fr
