2 citations · 2 across the 9 of their papers we have counts for
9 papers
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…
On -largeness and the Paris-Harrington principle in and
Florian Pelupessy
We examine, within , the treatment by Ketonen and Solovay on the use of -largeness for giving an upper bound for the Paris--Harrington principle. This proof work…
Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension
Florian Pelupessy
We show that the well-partial orderedness of the finite downwards closed subsets of ,ordered by inclusion, is equivalent to the well-foundedness of the ordinal $ω^{ω…
Reverse mathematics of the relativised fast growing hierarchy
Florian Pelupessy
A short note on the reverse mathematical status of the totality of the relativised fast growing hierarchy.
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…
Monomial ideals and independence of
Florian Pelupessy
We show that a miniaturised version of Maclagan's theorem on monomial ideals is equivalent to and classify a phase transition threshold f…
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…
Dickson's lemma and weak Ramsey theory
Yasuhiko Omata, Florian Pelupessy
We explore the connections between Dickson's lemma and weak Ramsey theory. We show that a weak version of the Paris--Harrington principle for pairs in colors and miniaturized D…
On "finitary" Ramsey's theorem
Florian Pelupessy
We examine a version of Ramsey's theorem based on Tao, Gaspar and Kohlenbach's "finitary" infinite pigeonhole principle.We will show that the "finitary" infinite Ramsey's theorem n…