Kruskal's tree theorem (English, name)
expansion: Kruskal's tree theorem
Senses:
topics: mathematics
sciences
glosses: 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.
Forms: