|
Сибирский математический журнал, 2011, том 52, номер 6, страницы 1329–1340
(Mi smj2277)
|
|
|
|
Категоричные хорновы теории и модули
Е. А. Палютинab a Институт математики им. С. Л. Соболева СО РАН, Новосибирск
b Новосибирский гос. университет, Новосибирск
Аннотация:
Изучается связь между структурами с категоричными хорновыми теориями и модулями. Показано, что любое функциональное обогащение любой абелевой группы до примитивно нормальной структуры примитивно эквивалентно некоторому модулю. Дано описание категоричных хорновых классов модулей. Предложены некоторые достаточные условия, когда категоричная хорнова теория примитивно эквивалентна некоторой теории модулей. В частности, такими теориями являются категоричные хорновы теории обогащений абелевых групп с условиями примитивного ранга $\le3$ и отсутствия в языке предикатных символов местности $\ge3$.
Ключевые слова:
категоричная теория, хорнов класс, модуль, примитивная формула, нормальная формула.
Статья поступила: 17.05.2011
Образец цитирования:
Е. А. Палютин, “Категоричные хорновы теории и модули”, Сиб. матем. журн., 52:6 (2011), 1329–1340; Siberian Math. J., 52:6 (2011), 1056–1064
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2277 https://www.mathnet.ru/rus/smj/v52/i6/p1329
|
Статистика просмотров: |
Страница аннотации: | 289 | PDF полного текста: | 80 | Список литературы: | 54 | Первая страница: | 5 |
|