Ludovic Patey

Available identifiers

zbMath Open patey.ludovic-levyMaRDI QIDQ6258599

List of research outcomes

Publication	Date of Publication	Type
The weakness of the Erd\H{o}s-Moser theorem under arithmetic reductions	2023-10-27	Paper
The reverse mathematics of Carlson's theorem for located words	2022-08-05	Paper
The Reverse Mathematics of CAC for trees	2022-06-01	Paper
The reverse mathematics of Ramsey-type theorems	2016-01-18	Paper
Somewhere over the rainbow Ramsey theorem for pairs	2015-01-29	Paper
Conservation of Ramsey's theorem for pairs and well-foundedness	N/A	Paper
$\Pi^0_4$ conservation of the Ordered Variable Word theorem	N/A	Paper
$\Pi^0_4$ conservation of Ramsey's theorem for pairs	N/A	Paper

Research outcomes over time

This page was built for person: Ludovic Patey