Logic and Modeling 2021: Lecture 13

Video 4: infinite and finite model definability (1)

Video 5: infinite and finite model definability (2)

Video 6: reachability by a binary relation