More on the Ehrenfencht-Fraisse game of length omega_1

Tapani Hyttinen, Saharon Shelah, Jouko Väänänen

Let A and B be two first order structures of the same relational vocabulary L. The Ehrenfeucht-Fraisse-game of length gamma of A and B denoted by EFG_gamma(A,B) is defined as follo…