Adjacent Ramsey theory and Higman's lemma
arXiv:1602.07769
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.
Withdrawn due to incorrect proof