May 2020, "Logic methods for Banach spaces", R. Carroy (Turin), J. Iovino (UTSA Texas).
Course duration: 24 h.
Course shared between Milan and Turin university.
April 2020, "Generalized Descriptive Set Theory", L. Motto Ros (Turin).
Course duration: 30 h.CFU: 6.
ATTENTION: ONLINE COURSE. Interested students must send an email to the lecturer. On April 2 there will be the first trial meeting on Webex to discuss the organization of the course (including the calendar). Lectures will start on April 6. A continuation of the course will be offered by prof. Dimonte in Udine (10 hours - 2CFU).
Generalized Baire and Cantor spaces: definition and basic properties. Generalized Borel and analytic sets. Codings for uncountable structures, nonseparable spaces and alike. Some classification problems whose complexity can be settled in this framework. The regular case. Links with stability from model theory. The singular case: $\lambda$-Polish spaces.
First trial meeting on Webex e discussion about the organization of the course (including calendar).
April - June 2019, "Iterated Forcing", M. Viale (Turin).
Course duration: 30 h.CFU: 6.Materiale didattico: pdf.Course Info
The teaching material here linked is a draft of a book that will serve as the main reference for the course. I plan to cover in detail chapter 1, then depending on the background of the people attending I may just skim through chapters 3 and 4 or spend more time on them.
Then I will make with great care chapters 6 and 7. If time remains we could either try to look at Woodin’s generic absoluteness results for second order arithmetic (chapters 2, 5, 12) or at the iteration theorem for semiproper forcings (chapters 2, 9, 10, and maybe parts of 8 or 11).
As a reference for the background material, I suppose the audience should be familiar with this: link