Monin, Benoit; Patey, Ludovic \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models. (English) Zbl 07384219 Adv. Math. 389, Article ID 107903, 32 p. (2021). MSC: 03B30 03F35 PDFBibTeX XMLCite \textit{B. Monin} and \textit{L. Patey}, Adv. Math. 389, Article ID 107903, 32 p. (2021; Zbl 07384219) Full Text: DOI arXiv
Cholak, Peter A.; Igusa, Gregory; Patey, Ludovic; Soskova, Mariya I.; Turetsky, Dan The Rado path decomposition theorem. (English) Zbl 1429.05062 Isr. J. Math. 234, No. 1, 179-208 (2019). MSC: 05C15 05C38 05C70 PDFBibTeX XMLCite \textit{P. A. Cholak} et al., Isr. J. Math. 234, No. 1, 179--208 (2019; Zbl 1429.05062) Full Text: DOI arXiv
Monin, Benoit; Patey, Ludovic Pigeons do not jump high. (English) Zbl 1441.03013 Adv. Math. 352, 1066-1095 (2019). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 PDFBibTeX XMLCite \textit{B. Monin} and \textit{L. Patey}, Adv. Math. 352, 1066--1095 (2019; Zbl 1441.03013) Full Text: DOI arXiv
Patey, Ludovic; Yokoyama, Keita The proof-theoretic strength of Ramsey’s theorem for pairs and two colors. (English) Zbl 1469.03033 Adv. Math. 330, 1034-1070 (2018). MSC: 03B30 03F35 05D10 03H15 03C62 03D80 PDFBibTeX XMLCite \textit{L. Patey} and \textit{K. Yokoyama}, Adv. Math. 330, 1034--1070 (2018; Zbl 1469.03033) Full Text: DOI arXiv
Bienvenu, Laurent; Patey, Ludovic; Shafer, Paul On the logical strengths of partial solutions to mathematical problems. (English) Zbl 1453.03002 Trans. Lond. Math. Soc. 4, No. 1, 30-71 (2017). MSC: 03B30 03F35 05D10 03D32 PDFBibTeX XMLCite \textit{L. Bienvenu} et al., Trans. Lond. Math. Soc. 4, No. 1, 30--71 (2017; Zbl 1453.03002) Full Text: DOI arXiv
Patey, Ludovic Dominating the Erdős-Moser theorem in reverse mathematics. (English) Zbl 1422.03019 Ann. Pure Appl. Logic 168, No. 6, 1172-1209 (2017). MSC: 03B30 03F35 PDFBibTeX XMLCite \textit{L. Patey}, Ann. Pure Appl. Logic 168, No. 6, 1172--1209 (2017; Zbl 1422.03019) Full Text: DOI arXiv
Patey, Ludovic Controlling iterated jumps of solutions to combinatorial problems. (English) Zbl 1420.03027 Computability 6, No. 1, 47-78 (2017). MSC: 03B30 05D10 03D55 03E40 PDFBibTeX XMLCite \textit{L. Patey}, Computability 6, No. 1, 47--78 (2017; Zbl 1420.03027) Full Text: DOI arXiv
Dzhafarov, Damir D.; Patey, Ludovic; Solomon, Reed; Westrick, Linda Brown Ramsey’s theorem for singletons and strong computable reducibility. (English) Zbl 1423.03159 Proc. Am. Math. Soc. 145, No. 3, 1343-1355 (2017). MSC: 03D80 03F35 05D10 03B30 03D30 PDFBibTeX XMLCite \textit{D. D. Dzhafarov} et al., Proc. Am. Math. Soc. 145, No. 3, 1343--1355 (2017; Zbl 1423.03159) Full Text: DOI arXiv
Patey, Ludovic Open questions about Ramsey-type statements in reverse mathematics. (English) Zbl 1396.03012 Bull. Symb. Log. 22, No. 2, 151-169 (2016). MSC: 03B30 03F35 05D10 PDFBibTeX XMLCite \textit{L. Patey}, Bull. Symb. Log. 22, No. 2, 151--169 (2016; Zbl 1396.03012) Full Text: DOI arXiv
Patey, Ludovic The weakness of being cohesive, thin or free in reverse mathematics. (English) Zbl 1368.03018 Isr. J. Math. 216, No. 2, 905-955 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D30 03D80 05D10 05C55 PDFBibTeX XMLCite \textit{L. Patey}, Isr. J. Math. 216, No. 2, 905--955 (2016; Zbl 1368.03018) Full Text: DOI arXiv
Patey, Ludovic Ramsey-type graph coloring and diagonal non-computability. (English) Zbl 1342.03015 Arch. Math. Logic 54, No. 7-8, 899-914 (2015). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 PDFBibTeX XMLCite \textit{L. Patey}, Arch. Math. Logic 54, No. 7--8, 899--914 (2015; Zbl 1342.03015) Full Text: DOI arXiv
Patey, Ludovic Iterative forcing and hyperimmunity in reverse mathematics. (English) Zbl 1461.03011 Beckmann, Arnold (ed.) et al., Evolving computability. 11th conference on computability in Europe, CiE 2015, Bucharest, Romania, June 29 – July 3, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9136, 291-301 (2015). MSC: 03B30 03D28 03D25 PDFBibTeX XMLCite \textit{L. Patey}, Lect. Notes Comput. Sci. 9136, 291--301 (2015; Zbl 1461.03011) Full Text: DOI arXiv
Patey, Ludovic Degrees bounding principles and universal instances in reverse mathematics. (English) Zbl 1372.03027 Ann. Pure Appl. Logic 166, No. 11, 1165-1185 (2015). MSC: 03B30 03D28 03D80 03F35 05D10 PDFBibTeX XMLCite \textit{L. Patey}, Ann. Pure Appl. Logic 166, No. 11, 1165--1185 (2015; Zbl 1372.03027) Full Text: DOI arXiv