Lipschitz maps on trees

Abstract

We introduce and study a metric notion for trees and develop a fine structure theory for the corresponding class of Lipschitz trees. We also relate this structure theory to a conjecture of Shelah about the existence of a finite basis for a class of linear orderings and solve an old problem of Laver about well-quasi-ordering a certain class of trees.