RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1979, том 18, номер 1, страницы 47–72 (Mi al1635)

О категоричных позитивных хорновских теориях

Е. А. Палютин


Аннотация: Основной результат: для того, чтобы позитивная хорновская теория $T$ была $\omega_1$-категоричной, необходимо и достаточно, чтобы она была полна относительно фильтрующихся $\forall \exists$-предложений, и множества, определимые в моделях $T$ позитивными хорновскими $\exists$-предложениями, удовлетворяли условию минимальности.

УДК: 517.11:518.5

Поступило: 14.11.1978



Реферативные базы данных:


© МИАН, 2024