2 citations · 2 across the 6 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016
The reverse mathematics of non-decreasing subsequences
Ludovic Patey
Every function over the natural numbers has an infinite subdomain on which the function is non-decreasing. Motivated by a question of Dzhafarov and Schweber, we study the reverse m…
math.LO2016
The reverse mathematics of Ramsey-type theorems
Ludovic Patey
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 a…