Matteo Viale (Matematica, Univ. Torino)
Una dimostrazione col forcing di un teorema di Kirby sulla congettura di Schanuel

Daremo uno schizzo di dimostrazione del seguente teorema di Kirby:
C'e' un campo numerabile K algebricamente chiuso contenuto in C tale che per ogni 
n-upla di numeri complessi a_1,....,a_n linearmente indipendenti su K il grado di
trascendenza su K della 2n-upla a_1,....,a_n, exp(a_1),...,exp(a_n) e' almeno n.

Kirby ha dato una dimostrazione costruttiva di questo risultato, noi ne daremo una
che impiega il forcing e il teorema di assolutezza di Shoenfield. Pensiamo che la
dimostrazione possa essere interessante perche' impiega in un campo molto distante
dalla teoria degli insiemi la tecnica del forcing per dimostrare teoremi piuttosto
che per ottenere risultati di indipendenza.