2 citations · 2 across the 9 of their papers we have counts for
6 papers · 1 filter
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…