unprovable by Π1 1-CA0. Ordinalanalysis(英语:Ordinalanalysis) confirms the strength of Kruskal's theorem, with the proof-theoretic ordinal of the theorem equaling
Constant Coefficients", 1958, Econometrica. "The Cardinal Utility which is Ordinal", 1958, EJ. Business Behavior, Value and Growth, 1959. "Integer Programming