Let R be a ring with 1 and consider the problem of assigning numerical invariants to right K-modules so that two such modules are elementarily equivalent if and only if they have the same invariants. This general problem has been solved by Baur [1], Garavaglia [8], and Monk [18]. The invariants they produce are however rather more model-theoretic than algebraic and are in general highly redunda...