3 papers
math.LO2017
The strength of SCT soundness
Emanuele Frittaion, Florian Pelupessy, Silvia Steila +1
In this paper we continue the study, from Frittaion, Steila and Yokoyama (2017), on size-change termination in the context of Reverse Mathematics. We analyze the soundness of the S…
math.LO2016
Phase transition results for three Ramsey-like theorems
Florian Pelupessy
We classify a sharp phase transition threshold for Friedman's finite adjacent Ramsey theorem. We extend the method for showing this result to two previously known classifications i…
math.LO2016
Adjacent Ramsey theory and Higman's lemma
Florian Pelupessy
We show a short proof of Higman's lemma using Friedman's adjacent Ramsey theorem for pairs. This provides an alternative proof of the known upper bound for the reverse mathematical…