Adjacent Ramsey theory and Higman's lemma
classification
🧮 math.LO
keywords
higmanlemmaadjacentprooframseyalternativeboundfriedman
read the original abstract
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 status of Higman's lemma and that of its miniaturised version.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.