Part IV WQO and BQO Theory
Twelve lectures in Easter term. M W F 10:00 MR 5

There are two reasons for this course to be proposed. One is the lecturer's long-standing intention to write a textbook on this subject; however the proximate impetus for this lecture course is a meeting on this topic in Dagstuhl in the third week of january - immediately preceding the lectures here in Cambridge. Inevitably the choice of material will be strongly affected by the events in Dagstuhl, so the details of precisely what is to be covered will be the result of a rather last-minute decision. Nevertheless the long-running desire to write a textbook has resulted in some notes. You may like to read
Philipp Kleppmann's Part III essay on Laver's proof of the Fraissé conjecture and
Zach Norwood's Part III essay on Laver's proof of the Fraissé conjecture linked here with the authors' kind permission.


Materials for 1b Computer Science.
Materials for 1a Computer Science .
Materials for Part III Mathematics .
Materials for Logic-For-Linguists.
Materials for Part II Mathematics .
Materials for the Computer Science M. Phil .