thesis

Applicazioni di analisi ordinale: il teorema di Kruskal.

Abstract

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

    Similar works