Well-quasi-ordering infinite trees by homomorphisms

Abstract

Assuming the axiom of choice, we show that a weakened version of Nash-Williams' theorem about infinite trees can be recovered while completely avoiding better-quasi-orderings. In particular, we give a direct proof that the class of all order-theoretic trees is well-quasi-ordered by the tree-homomorphism relation.