Video 1: soundness and completeness of FOL

Video 2: consistency theorem

Video 3: compactness

Video 4: infinite and finite model definability (1)

Video 5: infinite and finite model definability (2)

Video 6: reachability by a binary relation

Q&A Session