Determinacy and I0
Course
Lecturer: Board Contact: |
SSD: MAT/01
CFU: 3 CFU (+ 2 CFU with assignment)
Period: January–February 2024
Lessons / Hours: 6 lectures, 12 hours
Program:
There are many similarities between I0, the “largest” large cardinal, and the Axiom of Determinacy. In this advanced course we will first see some consequences of the Axiom of Determinacy (like measurability, the Coding Lemma and some specific partition property), and then we will see that under I0 a generalization of such consequences holds. |
Verification: Assignment with seminar
Prerequisites: The “Teoria degli Insiemi” course (more specifically, basic Set Theory, basic cardinal combinatorics and some Descriptive Set Theory will be used as a black box)