Reverse Mathematics
Durata: 28 ore
Periodo didattico: secondo semestre
Programma
docente: Prof. Alberto Giulio Marcone - MAT/01
programma:
Introduzione ai sottosistemi dell'aritmetica del second'ordine;
i big five e alcuni loro equivalenti;
significato fondazionale dei risultati di reverse mathematics;
il teorema di Ramsey per coppie e i risultati di indipendenza;
conseguenze del teorema di ramsey per coppie e il fenomeno dello "zoo".
