Ehrenfeucht-Fraïssé Games on Läuchli-Leonard Linear Orderings

Gaze into the infinite with Ehrenfeucht-Fraïssé Games on Läuchli-Leonard Linear Orderings Playing The Ehrenfeucht-Fraïssé Game is a game about first order logic. Players take turns matching up the points of two linear orderings. The two linear orderings are shown above each other in the same window, one in the top half and the other in the bottom half. First, Player I (Spoiler) selects a point in …