Add to ORKGThe model-theoretic investigation of modules has led to ideas, techniques and results which are of algebraic interest, irrespective of their model-theoretic significance. It is these aspects that I will discuss in this article, although I will make some comments on the model theory of modules per se. Our default is that the term “module” will mean (unital) right module over a ring (associative with 1) R. The category of such modules is denoted Mod-R, the full subcategory of finitely presented modules will be denoted mod-R, the notation R-Mod denotes the category of left R-modules. By Ab we mean the category of abelian groups. In Part 1 we introduce the general concepts and in Part 2 we discuss these in more specific contexts. References wit...