Scheda programma d'esame
TEORIA DEGLI INSIEMI
MARCO FORTI
Anno accademico2019/20
CdSMATEMATICA
Codice208AA
CFU6
PeriodoSecondo semestre
LinguaItaliano

ModuliSettoreTipoOreDocente/i
TEORIA DEGLI INSIEMI MAT/01LEZIONI42
MARCO FORTI unimap
Programma non disponibile nella lingua selezionata
Obiettivi di apprendimento
Conoscenze

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.

Modalità di verifica delle conoscenze

si verifichera` con una prova orale finale.

Capacità

lo studente sapra` risolvere semplici problemi di teoria degli insiemi.

Modalità di verifica delle capacità

lo studente fornira` una presentazione sintetica di un risultato attinente al programma.

Comportamenti

bla bla

Modalità di verifica dei comportamenti

bla bla

Prerequisiti (conoscenze iniziali)

conoscenza delle nozioni fondamentali di teoria degli insiemi (ordinali, cardinali e loro aritmetica.

Corequisiti

puo` essere utile la frequenza di un corso di teoria dei modelli

Prerequisiti per studi successivi

puo` servire per qualunque corso avanzato di logica o topologia

Indicazioni metodologiche

lezioni in aula e ricevimenti

Programma (contenuti dell'insegnamento)

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.

Bibliografia e materiale didattico

T.Jech: set theory

holz, Steffen, Weitz: introduction to cardinal arithmetic

Indicazioni per non frequentanti

il programma puo` essere preparato autonomamente utilizzando la bibliografia; tale soluzione, oggettivamente piu' gravosa, e` sconsigliata.

Modalità d'esame

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.

Stage e tirocini

no

Ultimo aggiornamento 08/05/2020 17:19