- Oggetto:
Aspects of Determinacy
- Oggetto:
Aspects of Determinacy
- Oggetto:
Academic year 2024/2025
- Teacher
- Alessandro Andretta (Lecturer)
- Teaching period
- Jan-Mar
- Type
- Basic
- Credits/Recognition
- 6
- Course disciplinary sector (SSD)
- MAT/01 - mathematical logic
- Delivery
- Formal authority
- Language
- English
- Attendance
- Optional
- Type of examination
- Oral
- Prerequisites
- The partecipanti are assumed to be familiar with the basics of set theory, including forcing, constructibility, and basic descriptive set theory, including Borel and projective sets.
- Oggetto:
Sommario del corso
- Oggetto:
Program
The goal of this course is to study strong forms of the axiom of determinacy, like AD+ and AD_R, and their influence on the universe of sets. After briefly recalling standard facts about AD, we will look at several topics, including the cofinality of \Theta, the Solovay sequence, Suslin sets and uniformization, applications to Martin’s conjecture on Turing degrees. If time permits I would like to cover Woodin’s celebrated result that AD+DC+Unif implies AD_R.
Suggested readings and bibliography
- Oggetto:
Notes
Hours: 30 Period: second term, 3 hours per week on Tuesday morning, 9-12, starting from Feb 2025
The schedule is
25/02
11/3
18/3
25/3
1/4
8/4
15/4
13/5
20/5
27/5
- Oggetto:
