Baur, W., Undecidability of the theory of abelian groups with a subgroup , Proc. Amer. Math. Soc ., 55 (1) (1976), 125–128.Google Scholar

Baur, W., On the elementary theory of quadruples of vector spaces , Ann. Math. Logic , 19 (1980), 243–262.Google Scholar

Baur, W., Decidability and undecidability of theories of abelian groups with predicates for subgroups , Compositio Math ., 31 (1975), 23–30.Google Scholar

Baldwin, J. T., McKenzie, R., Counting models in universal Horn classes , Algebra Universalis , 15 (1982), 359–384.Google Scholar

Burris, S., Iterated discriminator varieties have undecidable theories , Algebra Universalis , 21 (1985), 54–61.Google Scholar

Burris, S., McKenzie, R., Decidability and Boolean Representations , Memoirs Amer. Math. Soc ., No. 246, 1981.Google Scholar

Burris, S., McKenzie, R., Valeriote, M., Decidable discriminator varieties from unary varieties , J. Symbolic Logic , 56 (4) (1991), 1355–1368.Google Scholar

Burris, S., Werner, H., Sheaf constructions and their elementary properties , Trans. Amer. Math. Soc ., 248 (1979), 269–309.Google Scholar

Drozd, J. A., Representations of commutative algebras , Fund. Analysis and its Appl ., 6 (1972), 286–288.Google Scholar

Drozd, J. A., Tame and wild matrix problems in “Representations and Quadratic Forms,” Akad. Nauk. Ukrain. SSR , Inst. Mat. Kiev, 1979, pp. 39–74 and 154.

Eklof, P. C., Fisher, F., The elementary theory of abelian groups , Ann. Math. Logic , 4 (2) (1972), 115–171.Google Scholar

Freese, R., McKenzie, R., Commutator theory for congruence modular varieties , London Math. Soc. Lecture Note Series, 125, 1987.

Gabriel, P., Auslander-Reiten sequences and representation-finite algebras , in Representation Theory I , Springer L.N.M., 831, 1980, pp. 1–71.

Garavaglia, S., Decomposition of totally transcendental modules , J. Symbolic Logic , 45 (1) (1980), 155–164.Google Scholar

Gelfand, I. M., Ponomarev, V. A., Indecomposable representations of the Lorentz group , Usp. Mat. Nauk , 23 (1968), 3–60. Engl. Transl.: Russian Math. Surv .Google Scholar

Gelfand, I. M., Ponomarev, V. A., Problems of linear algebra and classification of quadruples of subspaces in a finite-dimensional vector space , in Coll. Math. Soc. Bolyai 5 , North-Holland, Amsterdam, 1972, pp. 163–237.

Hart B., Valeriote, M., A structure theorem for strongly abelian varieties , J. Symbolic Logic , 56 (3) (1991), 832–852.Google Scholar

Lavrov, I. A., Effective inseparability of the sets of identically true formulas and finitely refutable formulae for certain elementary theories , Algebra i Logika Sem . 2, vol. 1 (1963), 5–18.Google Scholar

Marcja, A., Prest, M., Toffalori, C., Stability theory for abelian by-finite groups and modules over a group ring , J. London Math Soc . (to appear).

McKenzle, R., Valeriote, M., The structure of decidable locally finite varieties , Progress in Mathematics , 79, Birkhäuser, 1989.Google Scholar

Nazarova, L. A., Rojter, A. V., Categorical matrix problems and the Brauer-Thrall conjecture , preprint, Inst. Math. Acad. Sci., Kiev, 1973, German transl. Mitt. Math. Sem. Giesen, 115, 1975.Google Scholar

Point, F., Problèmes de dècidabilitè pour les thèories de modules, Bull. Belg. Math. Soc ., Ser. B, 38 (1986), 58–74.Google Scholar

Point, F., Relationships between decidability of a class of R-modules and the subclass of its finitely generated elements, preprint.

Point, F., Decidability of the theory of modules over the dihedral algebra (respectively over the Gelfand and Ponomarev algebra), submitted.

Point, F., Prest, M., Decidability for theories of modules , J. London Math. Soc . (2), 38 (1988), 193–206.Google Scholar

Prest, M., Model theory and modules , London Math. Soc. Lecture Note Series, 130, 1988.Google Scholar

Prest, M., Tame categories of modules and decidability , University of Liverpool, 1985, preprint.

Ringel, C. M., Tame algebras (on algorithms for solving vector space problems II) in Representation Theory I , Proceedings Ottawa, Carleton University, 1979, Springer L.N.M., 831, 1980.

Ringel, C. M., The indecomposable representations of the dihedral 2-groups, Math. Ann ., 214 (1975), 19–34.Google Scholar

Slobodskoi, A. M., The unsolvability of the universal theory of finite groups , Algebra i Logika , 20(2) (1981), 207–230.Google Scholar

Szmielew, W., Elementary properties of abelian groups , Fund. Math ., 41 (1955), 203–271.

Valeriote, M., On decidable locally finite varieties , Ph.D. dissertation, University of California, Berkeley, 1986.

Valeriote, M., Willard, R., Dicriminating varieties, Algebra Universalis (to appear).

Werner, H., Discriminator algebras , Studien zur Algebra und ihre Anwendungen, 6, Akademie-Verlag, Berlin, 1978.

Ziegler, M., Model theory of modules , Ann. Pure Appl. Logic , 26(2) (1984), 149–213.Google Scholar