Student logic seminar (Spring 2017)

The seminar this semester will be a follow-up on the theme
Infinitary methods in complexity theory
studied in the Winter semester.

We shall look first in detail at the construction in Chpts.13-16 in my green book (this does not need all earlier chapters, just 1,2,4 and 5) and how it could be generalized (Chpt. 22 there). If time permits we shall move then to the construction in Chpt.31 (and an associated paper).