The reverse mathematics of Ramsey-type theorems

Ludovic Patey 1, 2
2 PI.R2 - Design, study and implementation of languages for proofs and programs
Inria de Paris, CNRS - Centre National de la Recherche Scientifique, UPD7 - Université Paris Diderot - Paris 7, PPS - Preuves, Programmes et Systèmes
Abstract : In this thesis, we investigate the computational content and the logical strength of Ramsey's theorem and its consequences. For this, we use the frameworks of reverse mathematics and of computable reducibility. We proceed to a systematic study of various Ramsey-type statements under a unified and minimalistic framework and obtain a precise analysis of their interrelations. We clarify the role of the number of colors in Ramsey's theorem. In particular, we show that the hierarchy of Ramsey's theorem induced by the number of colors is strictly increasing over computable reducibility, and exhibit in reverse mathematics an infinite decreasing hiearchy of Ramsey-type theorems by weakening the homogeneity constraints. These results tend to show that the Ramsey-type statements are not robust, that is, slight variations of the statements lead to strictly different subsystems. Finally, we pursuit the analysis of the links between Ramsey's theorems and compacity arguments, by extending Liu's theorem to several Ramsey-type statements and by proving its optimality under various aspects.
Document type :
Liste complète des métadonnées

Cited literature [14 references]  Display  Hide  Download
Contributor : Ludovic Patey <>
Submitted on : Friday, October 5, 2018 - 11:36:11 AM
Last modification on : Friday, January 4, 2019 - 5:33:38 PM
Document(s) archivé(s) le : Sunday, January 6, 2019 - 2:21:11 PM


Files produced by the author(s)


  • HAL Id : tel-01888675, version 1



Ludovic Patey. The reverse mathematics of Ramsey-type theorems. Logic [math.LO]. Université Paris Diderot (Paris 7) Sorbonne Paris Cité, 2016. English. ⟨tel-01888675⟩



Record views


Files downloads