Модели суперстабильных хорновых теорий

Дана синтаксическая характеризация полных хорновых теорий с немаксимальным спектром. Получены результаты, касающиеся строения моделей таких теорий, которые, в частности, позволяют описать функции их спектров.