{"id":"arxiv/2608.02136","url":"https://arxiv.org/abs/2608.02136","tags":["math.LO"],"score":0,"title":"Types of well-founded trees and the homomorphism order","domain":"math.LO","source":"arxiv","authors":["Jakub Smolík"],"reviews":0,"subject":"math.LO","summary":"We introduce an ordinal-valued invariant of well-founded trees, called their type. We use type to give an alternative proof that the class of all well-founded trees is well-quasi-ordered by the homomorphism relation, and we establish a relationship between type and the usual ordinal rank of a well-founded tree, showing in particular that type provides a strictly coarser structural classification.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-03","reactions":{}}