Meaning of Kruskal's tree theorem | Babel Free
Definitions
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.
CEFR level
C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.
This word is part of the CEFR C1 vocabulary — advanced level.
See also
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free