Logica e combinatoria
a.a. 2024/25
Responsabile didattico: Vincenzo Dimonte
Periodo: secondo semestre
Durata: 28 ore
Programma: Questo corso è un'introduzione alla combinatoria infinita, ovvero lo studio quantitativo di strutture infinite (e.g., insiemi, ordini, alberi, grafi). Dopo un'introduzione comprendente alcuni aspetti di base della teoria degli insiemi, come per esempio gli ordinali, i cardinali e l'Assioma di Scelta, il corso verterà su risultati classici della combinatoria infinita, come per esempio i risultati di Sierpinski sul piano euclideo, di Erdős sui grafi e di Aronszajn sugli alberi. Il testo del corso è "Problems and Theorems in Classical Set Theory", di Péter Komjáth e Vilmos Totik