Determinacy and large cardinals

Advanced Course

Lecturer:
Vincenzo Dimonte (University of Udine)

Board Contact:
Alberto Marcone

SSD: MAT/01

CFU: 3 CFU

Period: June–July 2021

Lessons / Hours: 6 lessons, 12 hours

Program:

Measurable cardinals, the Axiom of Determinacy, constructible inner models, the Coding Lemma.

Cardinali misurabili, l’assioma di determinatezza, modelli interni costruibili, il Coding Lemma.

Verification: In-depth study of the student

Prerequisites: Corso di teoria degli insiemi (necessario), corso di istituzioni di logica matematica (consigliato). Set theory (intermediate level), Model theory and computability theory (basics).