Explore relationships

TREE(3)

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.

Use + to expand a branch. Click a topic name to open its summary.