Элементарная теория модуля над локальным кольцом

Пусть $A$ – конечномерная локальная $k$-алгебра с единицей над полем $k$ произвольной характеристики, $M$ – конечно-порожденный $A$-модуль, $M_A=\langle M,A;\delta\rangle$ – двухосновная модель, где предикат $\delta$ выделяет действие $A$ на $M$. Получено алгебраическое описание строения моделей полной теории $M_A$ и дан критерий ее разрешимости.
Библиогр. 6.