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).

CONTATTI

Università degli Studi di Udine
Dipartimento di Scienze Matematiche, Informatiche e Fisiche (DMIF)
via delle Scienze 206, 33100 Udine, Italy
Tel: +39 0432 558400
Fax: +39 0432 558499
PEC: dmif@postacert.uniud.it
p.iva 01071600306 | c.f. 80014550307

» Privacy policy

INTERNATIONAL COORDINATES

30 km from Slovenia border
80 km from Austria border
120 km from Croatia border
160 km South West of Klagenfurt (Austria)
160 km West of Lubiana (Slovenia)
120 km North East of Venezia (Italy)

LINK UTILI

ESSE3
SPES
E-LEARNING
QUI.UNIUD
UNIUD

DNV_IT_ISO_9001

© 2019-2022

Dipartimento di Scienze Matematiche, Informatiche e Fisiche – Tutti i diritti riservati