What s So Special About Kruskal s Theorem and the Ordinal Gamma::0::? A Survey of Some Results in Proof Theory

Jean H. Gallier. What s So Special About Kruskal s Theorem and the Ordinal Gamma::0::? A Survey of Some Results in Proof Theory. Annals of Pure and Applied Logic, 53(3):199-260, 1991.

Abstract

Abstract is missing.