On well-quasi-ordering infinite trees - Nash-Williams's theorem revisited

Nash-Williams proved that; the infinite trees are well-quasi-ordered (indee d, better-quasi-ordered) under the topological minor relation. We combine i deas of several authors into a more accessible and essentially self-contain ed short proof.