Исследованы линейно упорядоченные теории с максимальным числом счётных моделей.
Дано описание классов упорядоченных теорий с максимальным счётным спектром. Для класса малых линейно упорядоченных теорий получены условия максимальности числа счётных моделей за счёт реализаций и опусканий 1-типов.
Оформлена диссертация PhD руководителя проекта, окончившего полный курс программы докторантуры.
Диссертация соотвествует общим требованиям к структуре, объему и правилам оформления диссертационных работ, которая основана на межгосударственных стандартах ГОСТ 7.32-2001.
