Applicazioni di analisi ordinale: il teorema di Kruskal.

Si fornisce una caratterizzazione del teorema di Kruskal con la tecnica dell'analisi ordinale, uno dei principali strumenti della teoria della dimostrazione