{"id":"arxiv/2602.09830","url":"https://arxiv.org/abs/2602.09830","tags":["math.LO","math.CO"],"score":0,"title":"Well-quasi-orders on finite trees and transfinite sequences","domain":"math.LO","source":"arxiv","authors":["Alakh Dhruv Chopra","Fedor Pakhomov"],"reviews":0,"subject":"math.LO","summary":"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 preservation. We calculate the precise maximal order types of this class of wqos as a function of the maximal order type of the labels $Q$. In the process, we sharpen some recent results of Friedman and Weiermann. Furthermore, we show a correspondence with indecomposable transfinite sequences with finite range, over elements of the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-10","reactions":{}}