「Tree3の停止性証明 第15章 QED (2021/06/05)」


Tree3の停止性証明 第15章 QED
















参考文献:
Kruskal, J.B. Well-quasi-ordering, the tree theorem, and V ́azsonyi’s conjecture.Trans.American Math. Soc.95 (1960), 210-225
Nash-Williams, C. St. J. A. On well-quasi-ordering finite trees.Proc. CambridgePhil. Soc.59 (1963), 833-835
Jean H. Gallier , WHAT’S SO SPECIAL ABOUT KRUSKAL’S THEOREMAND THE ORDINALΓ0?.Annals of Pure and Applied Logic, 53 (1991), 199-260.




2ページに詰め込んだ簡易バージョン




・・・なんとか。やりきることができました。
無事に証明完了です。

あとはエピローグとおまけ。2話だけ予定しています。