Alakh Dhruv Chopra

WELL-QUASI-ORDERS ON FINITE TREES AND TRANSFINITE SEQUENCES

Abstract We study the well-quasi-order (wqo) consisting of the set of finite trees with leaf labels coming from an arbitrary wqo Q , ordered by tree homomorphisms which respect the order on the labels. This is a variant of the usual Kruskal tree ordering without infima preservati...