- Oggetto:
- Oggetto:
Complementi di Logica
- Oggetto:
Topics in Mathematical Logic
- Oggetto:
Anno accademico 2020/2021
- Codice dell'attività didattica
- MAT0021 (coorte 2019) - MAT0184 (coorte 2020)
- Docente
- Prof. Luca Motto Ros (Titolare del corso)
- Corso di studi
- Laurea Magistrale in Matematica (D.M. 270)
- Anno
- 1° anno 2° anno
- Periodo didattico
- Secondo semestre
- Tipologia
- D.M. 270 TAF B - Caratterizzante
- Crediti/Valenza
- 6
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Inglese
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Orale
- Prerequisiti
-
Nozioni e risultati elementari in topologia, analisi e logica matematica (formule, ordinali e cardinali, induzione transfinita).
Basic notions and results in topology, analysis, and mathematical logic (formulas, ordinals and cardinals, transfinite induction). - Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Coerentemente con gli obiettivi formativi del Corso di Studio previsti dalla scheda SUA-CdS, l'insegnamento si propone di fornire un'introduzione alla Teoria Descrittiva degli Insiemi, un'area della teoria degli insiemi che presenta fortissime interazioni con molte altre parti della matematica (topologia, analisi funzionale, teoria dei gruppi) e che ha portato ad interessanti risultati e applicazioni in tali ambiti.
Questo insegnamento si colloca naturalmente entro i percorsi di Logica Matematica, ma viste le numerose interazioni con altre parti della matematica può essere di utile complemento anche nei percorsi di Analisi Matematica.
The course is an introduction to Descriptive Set Theory, a part of set theory with many interactions with other areas of mathematics (topology, functional analysis, group theory) and which led to interesting results and applications in those fields.
- Oggetto:
Risultati dell'apprendimento attesi
Lo studente dovrà essere in grado di mostrare padronanza tecnica degli aspetti di base dei vari argomenti trattati.
The student will have to show his capability of mastering the basic aspects and techniques related to the topics presented in class.
- Oggetto:
Modalità di insegnamento
A cause delle conseguenze della crisi sanitaria dovuta al Covid-19, l'intero insegnamento sarà fruibile a distanza e la relativa didattica sarà erogata online in forma sincrona (ad esempio lezioni, esercitazioni e consulenze online via Webex) o asincrona (materiale messo a disposizione sulla piattaforma Moodle, ad esempio dispense, slides o brevi video di spiegazione). Le lezioni sincrone cominceranno il giorno mercoledì 24/2/2021 e si svolgeranno tramite piattaforma Webex all'indirizzo https://unito.webex.com/meet/luca.mottoros. Occasionalmente potranno essere assegnati esercizi da svolgere a casa come complemento alle lezioni. La frequenza è facoltativa ma fortemente consigliata.
Due to the consequences of the Covid-19 pandemic, the course will be held online through live activities (e.g. lectures and exercise sessions thorough the Webex platform) or ad hoc material posted on the Moodle platform (notes, slides, short videos). Live lectures will be delivered starting from Wednesday 24/2/2021 through the Webex platform at the following address: https://unito.webex.com/meet/luca.mottoros. Occasionally, some homeworks may be assigned as complement to the lessons. Attendance is not mandatory but strongly recommended.
Modalità di verifica dell'apprendimento
La prova orale consiste in domande relative alla teoria e alle dimostrazioni presentate a lezione e in domande che richiedono lo svolgimento di esercizi. Agli studenti stranieri è garantita la possibilità di sostenere l'esame in inglese. Il voto è espresso in trentesimi.
In relazione alle disposizioni sanitarie dovute alla pandemia da Covid-19, se necessario gli esami potranno essere svolti in modalità telematica attraverso la piattaforma Webex in giorni e orari da concordare con i docenti, che restano a disposizione per ulteriori informazioni e chiarimenti.
The oral exam consists of questions concerning the theory and the proofs presented in the lectures, and in questions asking to solve some exercises. Foreign students are guaranteed the opportunity to take the exam in English. Grades are out of 30.
Following regulations in the midst of the Covid-19 pandemic, if necessary the written test could be suppressed and the oral exam could take place online through the Webex platform. Please contact the teachers for more information and for discussing date and time of your exam.
Programma
- Spazi polacchi, definizione ed esempi.
- Insiemi e funzioni Boreliane.
- Spazi standard Borel.
- La gerarchia Boreliana e la gerarchia di Baire.
- Insiemi analitici e teoremi di separazione.
- Insiemi proiettivi e definibilità.
- Proprietà dell'insieme perfetto.
- Nozioni di categoria di Baire.
- Misure.
- Polish spaces, definition and examples.
- Borel sets and functions.
- Standard Borel spaces.
- The Borel and the Baire hierarchies.
- Analytic sets and separations theorems.
- Projective sets and definability.
- Perfect set property.
- Baire category.
- Measures.
Testi consigliati e bibliografia
Note del docente.
A. Kechris, Classical descriptive set theory. Springer-Verlag, New York, 1995.
Personal notes of the teacher.
A. Kechris, Classical descriptive set theory. Springer-Verlag, New York, 1995.
Orario lezioni
Note
Le lezioni saranno tenute in italiano se
- nessuno studente straniero chiede che le lezioni vengano svolte in inglese, E
- la maggioranza degli studenti italiani chiede che le lezioni vengano svolte in italiano.
The course will be held in Italian if
- no foreign student asks for the course to be held in English, AND
- the majority of the Italian students asks for the course to be held in Italian.
