Full Name of the work head: Умбетбаев Олжас Асылбекович
Исполнители проекта:
: "Институт математики и математического моделирования"
Inventory number: 0322РК01210
Registration number: 0122РК00808
Keywords: константное обогащение,малые теории,неортогональность типов,упорядоченные структуры,число счётных моделей
Исследованы линейно упорядоченные теории с максимальным числом счётных моделей.
Дано описание классов упорядоченных теорий с максимальным счётным спектром. Для класса малых линейно упорядоченных теорий получены условия максимальности числа счётных моделей за счёт реализаций и опусканий 1-типов.
Оформлена диссертация PhD руководителя проекта, окончившего полный курс программы докторантуры.
Диссертация соотвествует общим требованиям к структуре, объему и правилам оформления диссертационных работ, которая основана на межгосударственных стандартах ГОСТ 7.32-2001.