On well-quasi-ordering infinite trees-Nash-Williams's theorem revisited
Nash-Williams proved that the infinite trees are well-quasi-ordered (indeed, better-quasi-ordered) under the topological minor relation. We combine ideas of several authors into a more accessible and essentially selfcontained short proof.