PRESENTAZIONE

Le lezioni si tengono in lingua italiana. Si possono svolgere in lingua inglese su richiesta.

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

L'insegnamento introduce al linguaggio e allo sviluppo della teoria degli insiemi, sia come teoria fondazionale della matematica, sia per l'interesse intrinseco. Si presentano gli assiomi della teoria degli insiemi con primi sviluppi e costruzioni insiemistiche, gli insiemi numerici. Si affrontano poi le aritmetiche ordinale e cardinale con i principi di induzione e ricorsione transfinite per giungere il problema del continuo e fornire cenni di combinatorica infinita e presentare il metodo del forcing per le dimostrazioni di indipendenza.

OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO

Impadronirsi delle principali tecniche di base di teoria degli insiemi.

PREREQUISITI

Conoscenze matematiche di base

MODALITA' DIDATTICHE

Tradizionali.

PROGRAMMA/CONTENUTO

Gli assiomi della teoria degli insiemi: introduzione e motivazioni.

Prime conseguenze degli assiomi.

Ordinali, cardinali e loro aritmetica.

Combinatorica infinita.

Introduzione alle dimostrazioni di indipendenza.

TESTI/BIBLIOGRAFIA

K. Kunen: The foundations of mathematics.

K. Kunen: Set theory.

Dispense ed esercizi del corso.

DOCENTI E COMMISSIONI

Commissione d'esame

RICCARDO CAMERLO (Presidente)

SARA NEGRI

GIUSEPPE ROSOLINI

LEZIONI

INIZIO LEZIONI

In accordo con il calendario accademico approvato dal Consiglio di Corsi di Studi.

Orari delle lezioni

TEORIA ASSIOMATICA DEGLI INSIEMI

ESAMI

MODALITA' D'ESAME

Orale

Calendario appelli

ALTRE INFORMAZIONI

Prerequisiti: Gli argomenti trattati in Logica Matematica ( a.a.2015/16 e precedenti)

Modalità di frequenza: Facoltativa

Modalità di iscrizione agli esami