Progress report

I am done with proof of the Completeness Theorem. Next week I will start to lecture Section 3.3 (Compactness).

Published Oct. 12, 2016 2:45 PM