411 REFERENCE · Wiktionary
Kruskal's tree theorem
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
The theorem was conjectured by Andrew Vázsonyi and proved by Joseph Kruskal (1960).
Proper noun
en math A theorem stating that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding.
See also
en TREE
en eponyms