Tagged Questions
5
votes
1answer
318 views
Understanding various definitions of TREE($n$) in Friedman's finite form of Kruskal's tree theorem.
I was reading the Wikipedia article on Friedman's finite form of Kruskal's tree theorem, and am interested in the large numbers TREE(n). I would like to verify TREE(2)=3 myself, but find conflicting ...
