Determinacy and large cardinals

PhD Course in Computer Science, Mathematics and Physics

2020-2021

Determinacy and large cardinals

Advanced Course

Lecturer

Vincenzo Dimonte
Department of Mathematics, Computer Science and Physics – University of Udine
Board Contact
Alberto Marcone
SSD
MAT/01
CFU
3 CFU
Period
April–June 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).