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

Play along at home: https://trkern.itch.io/rosenstein Version with just finite linear orderings (and brute-force search optimal opponent): https://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: https://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".