The Compactness Theorem
A course of three lectures, one hour each, given on June 20 and 21, 2015, at the 5th World Congress and School on Universal Logic.
Lecture notes (30 pages, size A5, 12-point type, dated July 14, 2015, revised September 4, 2016; includes abstract)
Abstract alone (4 pages, size A5, dated September 18, 2014; also appears in a frame of the conference website):
The course might be considered as an extended version of my 2014 talk in Tbilisi. In researching the Compactness Theorem, mostly in the summer of 2014, I created a number of documents (in addition to the notes posted on the page of the Tbilisi talk; though I post the documents here, they should not be considered as finished):
- Löwenheim–Skolem Theorem (8 pages, size A5, dated September 17, 2014)
- Gödel's Completeness Theorem (12 pages, size A5, dated June 18, 2015)
- Tarski's 1950 ICM Address (10 pages, size A5, dated September 14, 2014)
- Lindström's Theorem (18 pages, size A5, dated June 15, 2015)
- Logics in general (14 pages, size A5, dated August 30, 2014)
