克魯斯卡爾樹定理

TREE 函數、Kruskal 樹定理（英語：Kruskal's tree theorem）是這个湖數學的突出示例。由安德魯 ・ 瓦茲尼推測並由 Joseph Kruskal （一千九百六十）證明。

參考

Citations

Bibliography

• Friedman , Harvey M . , Internal finite tree embeddings . Reflections on the foundations of mathematics ( Stanford , CA , 一千九百九十八 ) , Lect . Notes Log .十五, Urbana , IL : Assoc . Symbol . Logic : 六十–九十一矣 , 兩千空二 , MR  一百九十四抹三千三百空三
• Gallier , Jean H . , What's so special about Kruskal's theorem and the ordinal Γ 零 ? A survey of some results in proof theory ( PDF ) , Ann . Pure Appl . Logic , 一千九百九十一 ,五十三( 三 ) : 一百九十九–兩百六十 [二千空二十二孵十一孵七] , MR  一百一十二石九千七百七十八 , doi : 十 . 一百六十八分之一千空一十六五十二 ( 九十一矣 ) 九九四空二十二-E  ,（原始內容存檔 ( PDF ) 佇二千空二十三分二四三）
• Kruskal , J . B . , Well-quasi-ordering , the tree theorem , and Vazsonyi's conjecture ( PDF ) , Transactions of the American Mathematical Society ( American Mathematical Society ) , May 一千九百六十 ,九十五( 二 ) : 兩百十一–兩百二十五 [二千空二十二孵十一孵七] , JSTOR  一百九十九石三千兩百八十七 , MR  十一孵一千七百空四 , doi : 十 . 一百九十九石三千兩百八十七分之兩千三百空七 ,（原始內容存檔 ( PDF ) 佇二千空二十一孵十二十一）
• Marcone , Alberto . Wqo and bqo theory in subsystems of second order arithmetic ( PDF ) . Reverse Mathematics . 兩千空一 ,二十一: 三百空三–三百三十 [二千空二十二孵十一孵七] .（原始內容存檔 ( PDF ) 佇二千空二十二鋪五鋪八）.
• Nash-Williams , C . St . J . A . , On well-quasi-ordering finite trees , Proc . Camb . Phil . Soc . , 一千九百六十三 ,五十九( 四 ) : 八百三十三–八百三十五 , Bibcode : 一千九百六十三 PCPS . . . 五十九 . . 八百三十三 N , MR  十五孵三千六百空一 , S 二 CID  二陽五千一百空九陽五千一百八十八 , doi : 十九一空一七 / S 三百空五孵空四十一孵空三千八百四十四
• Rathjen , Michael ; Weiermann , Andreas . Proof-theoretic investigations on Kruskal's theorem . Annals of Pure and Applied Logic . 一千九百九十三 ,六十( 一 ) : 四十九–八十八 . doi : 十 . 一百六十八分之一千空一十六五十二 ( 九十三 ) 九九零一百九十二-g  .
• Simpson , Stephen G . , Nonprovability of certain combinatorial properties of finite trees , Harrington , L . A . ; Morley , M . ; Scedrov , A . ; et al ( 編 ) , Harvey Friedman's Research on the Foundations of Mathematics , Studies in Logic and the Foundations of Mathematics , North-Holland : 八十七–一百十七喔 , 一千九百八十五
• Smith , Rick L . , The consistency strengths of some finite forms of the Higman and Kruskal theorems , Harrington , L . A . ; Morley , M . ; Scedrov , A . ; et al ( 編 ) , Harvey Friedman's Research on the Foundations of Mathematics , Studies in Logic and the Foundations of Mathematics , North-Holland : 一百十九个–一百三十六 , 一千九百八十五