What’s So Special About Kruskal’s Theorem and the Ordinal Γ0? A Survey of Some Results (1991)

by J H Gallier
Venue:in Proof Theory,” Annals of Pure and Applied Logic 53