Well-quasi-ordering, the Tree Theorem, and Vazsonyi’s conjecture

Abstract

was first developed by Graham Higman [l] (under the name "finite basis property") and by P. Erdos and R. Rado in an unpublished