The lectures will for the ¡­

The lectures will for the most be based on Chapters 3 and 4 of the notes for the previous advanced course in logic, see the manuscript .

There will be some additional material on degree theory, e.g. tt-degrees and the construction of a model for weak K?nig's lemma but not arithmetic comprehension.

There will be a revised set of notes available before August 23.