The weakness of being cohesive, thin or free in reverse mathematics L Patey Israel Journal of Mathematics 216 (2), 905-955, 2016 | 47 | 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 | 32 | 2018 |
Iterative forcing and hyperimmunity in reverse mathematics L Patey Computability 6 (3), 209-221, 2017 | 28 | 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 | 18 | 2017 |
The reverse mathematics of Ramsey-type theorems L Patey arXiv preprint arXiv:1601.04428, 2016 | 18 | 2016 |
The strength of the tree theorem for pairs in reverse mathematics L Patey The Journal of Symbolic Logic 81 (4), 1481-1499, 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 |
Diagonally non-computable functions and fireworks L Bienvenu, L Patey Information and Computation 253, 64-77, 2017 | 16 | 2017 |
Partial orders and immunity in reverse mathematics L Patey Pursuit of the Universal: 12th Conference on Computability in Europe, CiE …, 2016 | 16 | 2016 |
Coloring trees in reverse mathematics DD Dzhafarov, L Patey Advances in Mathematics 318, 497-514, 2017 | 15 | 2017 |
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 | 14 | 2020 |
Coloring the rationals in reverse mathematics E Frittaion, L Patey Computability 6 (4), 319-331, 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 |
Thin set theorems and cone avoidance P Cholak, L Patey HAL 2019, 2019 | 11 | 2019 |
-Encodability and Omniscient Reductions B Monin, L Patey | 10 | 2019 |
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 | 10 | 2017 |
Ramsey-type graph coloring and diagonal non-computability L Patey Archive for Mathematical Logic 54 (7-8), 899-914, 2015 | 10 | 2015 |
Degrees bounding principles and universal instances in reverse mathematics L Patey Annals of Pure and Applied Logic 166 (11), 1165-1185, 2015 | 10 | 2015 |
A Ramsey-type König’s lemma and its variants L Bienvenu, L Patey, P Shafer arXiv preprint arXiv:1411.5874, 2014 | 10 | 2014 |