Ehrenfeucht Fraïssé Games on Linear Orderings

The Ehrenfeucht Fraïssé Game on Finite Linear Orderings: A game about First-Order Logic and the inevitable end of all things. The Ehrenfeuchts (dots above the river) and Fraïssés (dots below the river) are separated by a river! Together, two players will work to connect the Ehrenfeuchts and Fraïssés by bridges. This is an asymmetric game for two players with very distinct roles:  Player 1 is calle…