Kruskal's Tree Theorem and its Proof by Joseph Kruskal and Harvey Friedman

  • 20-01-2019

The article discusses Kruskal's tree theorem, which states that in an infinite sequence of finite trees, there always exists a subtree that is a part of a larger tree. Joseph Kruskal proved this theo…