Joseph Kruskal just wrote an interesting post at Bill Gasarch's blog. Maybe some parts of it can be used in the article. 22.214.171.124 (talk) 11:34, 21 November 2008 (UTC)
I wonder what does the sentence
"Kruskal's tree theorem (1960), which is also interesting from a mathematical logic perspective since it can only be proved nonconstructively" means exactly.
For instance, Wim Veldman
Wim Veldman: An intuitionistic proof of Kruskal's theorem. Arch. Math. Log. 43(2): 215-264 (2004) has produced a constructive proof of Kruskal's theorem. — Preceding unsigned comment added by Decidable (talk • contribs) 22:04, 14 February 2011 (UTC)