- Oggetto:
Teoria degli Insiemi - a.a. 2009/10
- Oggetto:
Anno accademico 2009/2010
- Codice dell'attività didattica
- MFN0118 / MFN0119
- Docenti
- Dott. Matteo Viale (Titolare del corso)
Prof. Alessandro Andretta (Titolare del corso) - Corso di studi
- Laurea Specialistica in Matematica (D.M. 509)
- Anno
- 2° anno
- Periodo didattico
- Secondo semestre
- Tipologia
- D.M. 509 - Vedi il campo note per i dettagli
- Crediti/Valenza
- 7
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Orale
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Il corso si propone di mostrare come lo studio della teoria degli insiemi permetta di ottenere nuovi risultati in varie parti della matematica, tra cui le parti più astratte dell'analisi e della topologia.- Oggetto:
Risultati dell'apprendimento attesi
Lallievo dovrà essere in grado di mostrare padronanza tecnica degli aspetti di base dei vari argomenti trattati tra cui: lassioma di Martin, gli insiemi costruibili, il forcing etc.- Oggetto:
Programma
Sviluppo sistematico della teoria degli insiemi in ZFC. Ordinali, cardinali e loro aritmetica, ricorsione transfinita. Combinatorica infinita: insiemi quasi disgiunti. Assioma di Martin e sue applicazioni. Metamatematica della teoria degli insiemi, il principio di riflessione, assolutezza. Costruibilità. Forcing.
Systematic development of set theory within ZFC. Ordinals cardinals and their arithmetic, transfinite recursion. Infinitary combinatorics: almost disjoint sets. Martin's axiom and its applications. Metamathematics of set theory, the reflection principle, absoluteness. Constructibility. Forcing.
Testi consigliati e bibliografia
- Oggetto:
- K. Kunen, Set theory, North Holland (1980)
- Oggetto:
Note
TEORIA DEGLI INSIEMI, MFN0118 (DM 509) , 7 CFU:
7 CFU, MAT/01, TAF A (base), Ambito formazione matematica.
TEORIA DEGLI INSIEMI, MFN0119 (DM 509) , 7 CFU:
7 CFU, MAT/01, TAF G (CFU di sede), Ambito aggregato per crediti di sede.Modalità di verifica/esame:
oraleContattare il docente per concordare la data dell'esame a settembre.
- Oggetto:
