Cayley graphs having nice enumerations.

LetW be the Cayley graph of an infinite finitely generated group andM be a finite cover ofW. It is proved in the paper thatTh(M) is finitely axiomatizable overW ifW has a nice enumeration (in the sense of G. Ahlbrandt and M. Ziegler). A finitely generated free abelian group provides such an example. It is shown that in the non-abelian case the corresponding examples are rather rate. In particular, in the soluble case they must be virtually abelian. We discuss the finite model property for finite covers of Cayley graphs of virtually abelian groups and the existence of nice enumerations for strongly minimal structures in general. [ABSTRACT FROM AUTHOR]