Determinacy and I0

Course

Lecturer:
Vincenzo Dimonte (University of Udine)

Board Contact:
Vincenzo Dimonte

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)