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) Проведена защита диссертации PhD. Диплом PhD № 00022390593. 2) Сформулирована гипотеза о необходимом критерии для сохранения стабильности теории модели обогащенной унарным, тип-определимым предикатом.

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

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