In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding. A finitary application of the theorem gives the existence of a fast-growing TREE function.
In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding. A finitary application of the theorem gives the existence of a fast-growing TREE function.
Source: Wikipedia "Kruskal's tree theorem" · CC BY-SA 4.0
Share this article: X · Bluesky