|
Алгебра и логика, 2010, том 49, номер 6, страницы 782–802
(Mi al467)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Категоричные хорновы классы. 2
Е. А. Палютинab a Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
b Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
Аннотация:
Даётся достаточно эффективная характеризация несчётно категоричных хорновых классов, из которой, в частности, вытекает модельная полнота несчётно категоричных хорновых классов. Отметим также элиминацию кванторов до примитивных формул, описание групп, интерпретируемых в моделях категоричных хорновых теорий, и характеризацию групп, интерпретируемых в моделях почти сильно минимальных хорновых теорий.
Ключевые слова:
категоричный хорнов класс, модельная полнота, элиминация кванторов до примитивных формул, интерпретируемость.
Поступило: 22.10.2010 Окончательный вариант: 09.11.2010
Образец цитирования:
Е. А. Палютин, “Категоричные хорновы классы. 2”, Алгебра и логика, 49:6 (2010), 782–802; Algebra and Logic, 49:6 (2010), 526–538
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al467 https://www.mathnet.ru/rus/al/v49/i6/p782
|
|