- Oggetto:
Topics in Mathematical Logic
- Oggetto:
Topics in Mathematical Logic
- Oggetto:
Academic year 2023/2024
- Teacher
- Luca Motto Ros
- Year
- 1st year, 2nd year
- Teaching period
- To be defined
- Type
- Basic
- Credits/Recognition
- 6
- Course disciplinary sector (SSD)
- MAT/01 - mathematical logic
- Delivery
- Formal authority
- Language
- English
- Attendance
- Obligatory
- Type of examination
- Oral
- Oggetto:
Sommario del corso
- Oggetto:
Course objectives
The course is particularly relevant to PhD students at the beginning of their studies. It will cover a variety of basic topics in logic that are not included in the master courses of the University of Turin, ranging from set theory and model theory to computability theory and category theory.
- Oggetto:
Results of learning outcomes
The goal is to build a solid and interdisciplinary toolbox for starting a research project in mathematical logic in the subsequent years.
- Oggetto:
Program
- This is a reading course organized in collaboration with the Universities of Genova, Losanna, Udine. Its duration is 30 hours. Here is the list of specific topics covered in the course:
- Elementary embeddings and cardinal correctness
- Weihrauch reducibility, and some classification results in the generalized setting
- Complexity hierarchies in generalized descriptive set theory
- Oggetto:
Course delivery
From November 2023 to June 2024 (30 hours).
Schedule:
- November 10, 2023: Sebastiano Thei
- November 17, 2023: Gian Marco Osso
- November 24, 2023: Gian Marco Osso
- December 15, 2023: Beatrice Pitton
- December 22, 2023: Beatrice Pitton
- January 26, 2024: Lorenzo Notaro
- March 08, 2024: Elena Pozzan
- March 15, 2024: Elena Pozzan
- March 22, 2024: Fernando Barrera
- April 19, 2024: Fernando Barrera
- May 10, 2024: Juan Santiago
- May 17, 2024: Beatrice Degasperi
- May 24, 2024: Beatrice Degasperi
- June 14, 2024: Andrea Volpi
- June 21, 2024: Andrea Volpi
- Oggetto:
Learning assessment methods
The students are required to give a talk on at least one of the topics of the course.
Suggested readings and bibliography
- Oggetto:
Class schedule
Days Time Classroom Friday 15:00 - 17:00 Sala S Dipartimento di Matematica Lessons: from 10/11/2023 to 21/06/2024
- Enroll
- Closed
- Enrollment opening date
- 01/11/2023 at 00:00
- Enrollment closing date
- 30/06/2024 at 23:55
- Oggetto:
