Lorenzo Carlucci (Informatica, Univ. Roma "La Sapienza")
Teoremi di Ramsey, ordinali, e insiemi grandi

Molti risultati di indipendenza da sistemi di aritmetica del primo 
ordine sono ottenuti "miniaturizzando" teoremi di combinatoria infinita.
Viceversa, alcune tecniche e alcuni concetti sviluppati nello studio 
dell'incompletezza possono essere "rimpatriati" in modo fruttuoso nel 
dominio della combinatoria infinita e dell'analisi del contenuto 
effettivo e della forza logica dei teoremi infinitari.
Si illustra questo andirivieni di concetti presentando alcuni 
risultati recenti.