We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V-modules is decidable.

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.

Using the description of the Ziegler spectrum we characterise modules with various stability-theoretic properties (ω-stability, superstability, categoricity) over certain classes of finite-dimensional algebras. We also show that, for modules over the algebras we consider, having few types is equivalent to being ω-stable.

It is proved that Vaught's conjecture is true for modules over an arbitrary countable hereditary noetherian prime ring.

It is proved that Vaught's conjecture is true for modules over an arbitrary countable serial ring. It follows from the structural result that every module with few models over a (countable) serial ring is ω-stable.