Lunedì 27 novembre ore 15:00 Aula Lagrange
Palazzo Campana [via Carlo Alberto 10]
L'aritmetica cardinale, cioè lo studio delle operazioni aritmetiche sui vari tipi di infinito, è uno degli argomenti classici della teoria degli insiemi. Partendo dai teoremi di Cantor vedremo come lo studio della funzione esponenziale sia intimamente collegata con gli assiomi di forcing. In particolare, la congettura dei cardinali singolari è conseguenza dell'assioma del proper forcing, un potente principio combinatorio introdotto da S. Shelah.
Palazzo Campana [via Carlo Alberto 10]
Assiomi di forcing e aritmetica cardinale
Matteo VialeL'aritmetica cardinale, cioè lo studio delle operazioni aritmetiche sui vari tipi di infinito, è uno degli argomenti classici della teoria degli insiemi. Partendo dai teoremi di Cantor vedremo come lo studio della funzione esponenziale sia intimamente collegata con gli assiomi di forcing. In particolare, la congettura dei cardinali singolari è conseguenza dell'assioma del proper forcing, un potente principio combinatorio introdotto da S. Shelah.