Some model theory of sheaves of modules. - Mike Prest; Vera Puninskaya; Alexandra Ralph (J. Symb. Log., 2004)