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

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

Aim of work (in Russian) : Защита диссертации PhD руководителя проекта. Установить условия для классов NIP теорий или (и) для предикатов, при которых обогащение моделей данных теорий унарными и (или) бинарными предикатами, не влечет изменение свойств исходной теории.

Aim of work (in Kazakh) : Жоба жетекшісінің PhD диссертациясын қорғау. NIP теориялар бөлімдері немесе (және) предикаттар шарттарды орнату үшін яғни байыту модельдері берілген теориялардың біртұтас және (немесе) бинарлық предикаттармен, бастапқы теорияның қасиеттерін өзгертуге әкелмейді.

Методы исследования (на русском) : Для достижения целей проекта предполагается использование теории типов, сформированной для различных классов NIP теорий (С. Шелах, У. Хрущовский, М. Морли, Дж. Балдвин, Д. Маркер, Ч. Стейнхорн, А. Пиллай, П. Симон), в том числе научным консультантом

Методы исследования (на казахском) : Жобаның мақсаттарына жету үшін ҰИП теорияларының әртүрлі кластары үшін қалыптасқан типтер теориясын пайдалану көзделіп отыр (С. Шелах, В. Хрущевский, М. Морли, Дж. Болдуин, Д. Маркер, Ч. Стейнхорн, А. Пиллай, П. Саймон), оның ішінде ғылыми кеңесші

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

Obtained results and novelty (in Kazakh) : 1) (супер) тұрақтылықты сақтамайтын формулалардың шексіз тобымен анықталған предикатпен (супер) тұрақты теорияны байыту мысалы құрастырылған. Басылым дайындалды 2) кандидаттық диссертация аяқталды, ал диссертация қорғалды. PhD докторы дипломы No 00022390593.

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