Locality and modular Ehrenfeucht-Fraisse games
We study ways to simplify Ehrenfeucht-Fraisse games. In particular, we consider decompositions of a structure and their effect on Ehrenfeucht-Fraisse games. We investigate notions of locality and we present a generalisation of the theorem of Gaifman to linearly ordered structures. (C) 2011 Published by Elsevier B.V.
locality ehrenfeucht fraisse games first-order logic