11-19-1982

Friedman's version of Kruskal's Theorem appeared in Science. Harvey Friedman provided a mathematical (rather than meta-mathematical) statement independent of arithmetic of the theorem originally due to Joseph Kruskal and Gyula Katona.

More information about:
Kruskal-Katona Theorem