Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2

Play along at home: trkern.itch.io/rosenstein
Version with just finite linear orderings (and AI opponent): trkern.itch.io/efglo

Watch a similar video on the model theory of graphs:    • HRUMC Spring 2021 What is Model Theory?  
Play EF-Games on graphs: trkern.github.io/efg.html

Watch a video from the future elaborating on the last slide: what happens with E-F Games on finite linear orderings, and why are omega and omega + zeta logically equivalent?    • Regular Languages and Model Theory 17: Ehr...  

Some more complicated model theory on more complicated structures:    • Really Long Words  

I learned about Linear Orderings and their Model Theory through Joseph G. Rosenstein's excellent book "Linear Orderings".