Progress report

This week I have lectured the proof of the Completeness Theorem (I am nearly done, but I will talk a little bit more about the proof next week). Thereafter I will start to lecture Section 3.3 (Compactness).