The object of research, development or design (in Russian) : Упорядоченные алгебраические структуры, формульные подмножество и однометсные функции.

The object of research, development or design (in Kazakh) : Алгебралық құрылымдар, формула жиынтығы және бір метрикалық функциялар.

Aim of work (in Russian) : Цель проекта — исследование теоретико-модельных свойств относительно стабильных теорий, в частности, упорядоченно стабильных теорий, а так же в исследовании применения свойств относительно стабильных теорий при исследовании классических алгебраических структур. Проект является естественным продолжением и развитием завершающегося проекта «Свойства типов в зависимых теориях». В частности, в этом проекте была решена проблема определимости типов над моделью, при условии определимости их Δ-части в стабильных с точностью до Δ теориях. Цель проекта заключается как в дальнейшем развитии и углублении полученных результатов и в классе NIP теорий, и в общем случае, так и в исследовании взаимосвязи относительной стабильности с другими обобщениями стабильности, такими как Е*-ста­биль­ность, dp-ранг, и другими.

Aim of work (in Kazakh) : Жобаның мақсаты — салыстырмалы тұрақты теориялардың модель-теориялық қасиеттерін зерттеу, соның ішінде, реттелген тұрақты теорияларды зерттеу, сонымен қатар классикалық алгебралық құрылымдарды зерттеу жұмысында салыстырмалы тұрақты теориялардың қасиеттерін қолдану. Жобаның мақсаты — салыстырмалы түрде тұрақты теориялардың теориялық қасиеттерін, атап айтқанда, реттелген тұрақты теорияларды зерттеу, сондай-ақ классикалық алгебралық құрылымдарды зерттеудегі салыстырмалы тұрақты теорияның қасиеттерін қолдануды зерттеу. Бұл жоба «Тәуелді теориядағы сипаттарды теріңіз» бітіріліп жатқан жобаның кәдімгі жалғасы мен дамуы болады. Атап айтқанда, Бұл жобада Δ-бөлік Δ-ға дәлме-дәл теорияларда анықталған жағдайда, үлгі бойынша типтердің анықталу мәселесі шешілді. Жобаның мақсаты NIP теориясының класында да, тұтастай алғанда салыстырмалы тұрақтылықтың тұрақтылығын, E*-Stability, dp-rank және басқалары сияқты тұрақтылықтың жалпы тұжырымдамасымен байланысын зерттеу барысында алынған нәтижелерді одан әрі дамыту және тереңдету болып табылады.

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

Методы исследования (на казахском) : Зерттеу әдісі: жетілген о-минимдальді және реттелген тұрақтылық, классикалық модельдік теория мен жалпы алгебраның аппаратының тұжырымдамаларына негізделген тұрақты теориялардың және реттелген құрылымдардың зерттеу әдісі.

Obtained results and novelty (in Russian) : Все полученные результаты являются новыми, носят фундаментальный, теоретический характер и заключаются в следующем: 1 Исследованы свойства формульных подмножеств в классе конечно простеганных теорий. 2 Исследованы свойства формульных унарных функций в классе конечно простеганных теорий. 3 Исследованы свойства формульных подмножеств и функций в ограниченно простеганных упорядоченно стабильных теорий.

Obtained results and novelty (in Kazakh) : Алынған барлық нәтижелер жаңа, іргелі, теориялық сипатта және төмендегідей қорытылады: 1 Шектелген теориялар класындағы формула ішкі жиынтықтарының қасиеттері зерттелген. 2 Шектелген теориялар класындағы формуланың унарлы функцияларының қасиеттері зерттелген. 3 Формуланың ішкі жиыны мен функциясының қасиеттері шектелген ширатылған реттелген тұрақты теорияларда зерттеледі.

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) : Зерттеудің келешегінің маңыздылығы модельдер теориясының ішінде ғана емес, сондайақ алгебра, дерекқордың жалпы теориясы және жедел ақпараттық жүйелердің тілдер сипаттамасы сияқты басқа салаларда қолданылуы.