Палютин Е. А.
Категоричные хорновы теории и модули

Изучается связь между структурами с категоричными хорновыми теориями и модулями. Показано, что любое функциональное обогащение любой абелевой группы до примитивно нормальной структуры примитивно эквивалентно некоторому модулю. Дано описание категоричных хорновых классов модулей. Предложены некоторые достаточные условия, когда категоричная хорнова теория примитивно эквивалентна некоторой теории модулей. В частности, такими теориями являются категоричные хорновы теории обогащений абелевых групп с условиями примитивного ранга ≤ 3 и отсутствия в языке предикатных символов местности ≥ 3.

Palyutin E. A.
Categorical Horn theories and modules

We study connection between categorical Horn theories and modules. We show that each function enrichment of any abelian group to a primitive normal structure is primitively equivalent to some module. We give a description for the categorical Horn classes of modules. We propose some sufficient conditions for a categorical Horn theory to be primitively equivalent to a theory of modules. In particular, such are the categorical Horn theories of enrichments of abelian groups with the conditions of primitive rank ≥ 3 and the absence of predicate symbols of arity ≤ 3 in the language.

Полный текст статьи / Full texts:

• PDF file
• PostScript file