Logic and Modeling 2021: Lecture 13

Video 3: compactness

Video 4: infinite and finite model definability (1)

Video 5: infinite and finite model definability (2)