The object of research, development or design (in Russian) : Объектом исследования проекта являются упорядоченные алгебраические структуры определенных классов элементарных теорий и формульные в рассматриваемом языке подмножества и функции. В связи с этими методами, мы собираемся использовать методы: исследования теории стабильности и методы исследования упорядоченных структур, которые включают в себя методы исследования о-минимальных, слабо о-минимальных, квази-о-минимальных, о-стабильных теорий.

The object of research, development or design (in Kazakh) : Біздің жобаның зерттеу пәніміз ретінде қарастырылатын тілдегі элементар теориялардың белгілі бір кластарының алгебралық құрылымдары және анықталатын ішкі жиындар мен функциялар реттелген. Осы әдістерге байланысты біз мына әдістерді қолданамыз: тұрақтылық теориясын зерттеу және реттелген құрылымдарды зерттеу әдістері, оған o-минималды, әлсіз o-минималды, квази-о-минималды, o-тұрақты теорияларды зерттеу әдістері кіреді.

Aim of work (in Russian) : Исследовать и описать свойства подмножеств и функций, которые определимы в упорядоченных структурах с упорядоченно стабильной теорией.

Aim of work (in Kazakh) : Реттелген тұрақты теориямен реттелген құрылымдарда анықталатын ішкі жиындар мен функциялардың қасиеттерін зерттеу және сипаттау.

Методы исследования (на русском) : Методы исследования теории стабильности и упорядоченных структур, которые включают в себя методы исследования о-минимальных, слабо о-минимальных, квази-о-минимальных, о-стабильных теорий.

Методы исследования (на казахском) : Тұрақтылық және реттелген құрылымдар теориясын зерттеу әдістері, оған o-минималды, әлсіз o-минималды, квази-о-минималды, o-тұрақты теорияларды зерттеу әдістері кіреді.

Obtained results and novelty (in Russian) : Описаны чистые линейные порядки конечного о-ранга Морли. Найдены необходимые условия того, что о-ранг Морли конечен. Описаны о-ω-стабильные чистые линейные порядки. При помощи специальной конструкции построения формул, описывающих строение чистого линейного порядка, когда используется особого рода вложенность одной формулы в другую, о-ω-стабильность чистого линейного порядка гарантирует, что такие конструкции будут конечными. Описаны условия сохранения упорядоченной стабильности чистого линейного порядка при обогащении унарной функцией.
Найдено следующее условие: если чистый линейный представляет собой плотный порядок без концевых точек, а функция является кусочно монотонной и непрерывной, то такое обогащение будет сохранять упорядоченную стабильность. Диссертация оформлена и готова, все необходимые публикации вышли в печать.

Obtained results and novelty (in Kazakh) : Морлидің шекті o-рангінің таза сызықтық реттері сипатталған. Морлидің o-рангінің шекті болуының қажетті шарттары табылған. O-ω-тұрақты таза сызықтық реттер сипатталған. Таза сызықтық реттің құрылымын сипаттайтын формулаларды арнайы құру арқылы, бір формуланы екіншісіне орналастырудың арнайы түрі қолданылған кезде, таза сызықтық реттің o-ω-тұрақтылығы мұндай құрылымдардың шекті болатынына кепілдік береді. Унарлық функциямен байытылған кезде таза сызықтық реттің реттелген тұрақтылығын сақтау шарттары сипатталған. Келесі шарт орындалады: егер таза сызықтық функция шеткі нүктелері жоқ тығыз ретті болса және функция бөліктік монотонды және үздіксіз болса, онда мұндай байыту реттелген тұрақтылықты сақтайды. Диссертация дайын, барлық қажетті басылымдар жарияланды.

The main constructive and technical economic indicators (in Russian) : Нет, так как исследование является фундаментальным.

The main constructive and technical economic indicators (in Kazakh) : Жоқ, себебі, зерттеу іргелі болып табылады.

Level of implementation (in Russian) : Нет

Level of implementation (in Kazakh) : Жоқ

Efficiency (in Russian) : Исследование является фундаментальным.

Efficiency (in Kazakh) : Зерттеу іргелі болып табылады.

Field of application (in Russian) : Исследования актуальной проблемы в теории моделей: исследование теоретико-модельных свойств алгебраических структур.

Field of application (in Kazakh) : Модельдер теориясындағы өзекті мәселе бойынша зерттеулер: алгебралық құрылымдардың модельдік-теориялық қасиеттерін зерттеу.