An Ehrenfeucht-Fraïssé Game for $L_{{\omega }_1\omega }$

Jouko Väänänen, Tong Wang

Ehrenfeucht-Fraisse games are very useful in studying separation and equivalence results in logic. The standard finite Ehrenfeucht-Fraisse game characterizes equivalence in first o…