Logic and Modeling 2021: Lecture 13

Video 2: consistency theorem

Video 3: compactness

Video 4: infinite and finite model definability (1)