We explore some topics in the model theory of sheaves of modules. First we describe the formal language that we use. Then we present some examples of sheaves obtained from quivers. These, and other examples, will serve as illustrations and as counterexamples. Then we investigate the notion of strong minimality from model theory to see what it means in this context. We also look briefly at the relation between global, local and pointwise versions of properties related to acyclicity.
"Some model theory of sheaves of modules." J. Symbolic Logic 69 (4) 1187 - 1199, December 2004. https://doi.org/10.2178/jsl/1102022218