Определимые инварианты билинейных отображений

Пусть $M_1$, $M_2$, $N$ – модули над произвольным кольцом $R$, $f\colon M_1\times M_2\to N$ – $R$-билинейное отображение. Изучается элементарная теория трехосновной модели $\mathfrak{U}(f)=\langle M_1,M_2,N;\delta\rangle$, где $\delta$ – предикат, выделяющий отображение $f$. Основное внимание уделено формульной определимости в $\mathfrak{U}(f)$ некоторых важных объектов и отношений. В качестве следствия получено описание абстрактных изоморфизмов билинейных отображений.
Библиогр. 10.