- 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 (approximately) 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)
- 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 14/06/2024
- Enroll
- Open
- Enrollment opening date
- 01/11/2023 at 00:00
- Enrollment closing date
- 30/06/2024 at 23:55
- Oggetto:
