Vai al contenuto principale
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

  1. 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 scheduleV

DaysTimeClassroom
Friday15:00 - 17:00Sala S Dipartimento di Matematica

Lessons: from 10/11/2023 to 21/06/2024

Enroll
  • Open
    Enrollment opening date
    01/11/2023 at 00:00
    Enrollment closing date
    30/06/2024 at 23:55
    Oggetto:
    Last update: 22/05/2024 18:13
    Location: https://www.mathphd.unito.it/robots.html
    Non cliccare qui!