Weekly outline
-
Martedì 24 settembre ore 8:30
Giovedì 26 settembre ore 8:30
Saturazione (paragrafo 9.1)
-
Martedì 2 ottobre ore 8:30
Giovedì 4 ottobre ore 8:30
Omogeneità. Modello mostro. (Paragrafi 9.2 e 9.3).
-
Martedì 9 ottobre ore 8:30
Giovedì 11 ottobre ore 8:30
La chiusura algebrica. Teorie fortemete minimali. Capitolo 11.
-
Martedì 15 ottobre ore 8:30
Giovedì 17 ottobre ore 8:30
Linguaggi e strutture a più sorte. L'espansione eq.
-
Martedì 22 ottobre ore 8:30
Giovedì 24 ottobre ore 8:30
La chiusura definibile e la chiusura algebrica in U^eq. L'eliminazione degli immadinari. Caratterizzazioni dell'eliminazione debole.