Adjacent Ramsey theory and Higman's lemma
  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. 
Florian Pelupessy
math.LO