Е. А. Палютин, “Категоричные хорновы классы. 2”, Алгебра и логика, 2010, том 49, номер 6,страницы 782

Эта публикация цитируется в 3 статьях

Категоричные хорновы классы. 2

Е. А. Палютин^ab

^a Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
^b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ

Аннотация: Даётся достаточно эффективная характеризация несчётно категоричных хорновых классов, из которой, в частности, вытекает модельная полнота несчётно категоричных хорновых классов. Отметим также элиминацию кванторов до примитивных формул, описание групп, интерпретируемых в моделях категоричных хорновых теорий, и характеризацию групп, интерпретируемых в моделях почти сильно минимальных хорновых теорий.

Ключевые слова: категоричный хорнов класс, модельная полнота, элиминация кванторов до примитивных формул, интерпретируемость.

УДК: 510.67+512.57

Поступило: 22.10.2010
Окончательный вариант: 09.11.2010