ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| TEORIA DEGLI INSIEMI | MAT/01 | LEZIONI | 42 |
|
lo studente conoscera` il metodo dei modelli interni e dei modelli booleani per trattare problemi di indipendenza e/o consistenza relativa in toeria dli insiemi.
si verifichera` con una prova orale finale.
lo studente sapra` risolvere semplici problemi di teoria degli insiemi.
lo studente fornira` una presentazione sintetica di un risultato attinente al programma.
bla bla
bla bla
conoscenza delle nozioni fondamentali di teoria degli insiemi (ordinali, cardinali e loro aritmetica.
puo` essere utile la frequenza di un corso di teoria dei modelli
puo` servire per qualunque corso avanzato di logica o topologia
lezioni in aula e ricevimenti
aritmetica cardinale: potenza e teoria pcf d Shelah;
il modello dei costruibili di Goedel;
modelli booleani e forcing;
indipendenza dell'ipotesi del continuo e dell'assioma di scelta.
T.Jech: set theory
holz, Steffen, Weitz: introduction to cardinal arithmetic
il programma puo` essere preparato autonomamente utilizzando la bibliografia; tale soluzione, oggettivamente piu' gravosa, e` sconsigliata.
prova orale consistente in una breve esposizione di un argomento concordato attinente al corso, seguita dalla proposta di due/tre problemi nell'ambito delle differenti parti del corso.
no
