On well-quasi-ordering finite trees
C. St. J. A. Nash‐Williams · Mathematical Proceedings of the Cambridge Philosophical Society · 1963
Abstract A new and simple proof is given of the known theorem that, if T1, T2,… is an infinite sequence of finite trees, then there exist i and j such that i < j and Ti is homeomorphic to a subtree of Tj.