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

The object of research, development or design (in Kazakh) : Зерттеу нысаны – толық реттелген теориялардың модельдерінің қасиеттері (1-типтердің анықталушылығы, 1-түрлердің ортогоналдылығы, 1-түрлердің ортогоналдылығы және m-типтері арасындағы байланыстар) жақын кластардағы теориялар кластарынан тұрақты теорияларға дейін.

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

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

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

Методы исследования (на казахском) : Түпнұсқа және байытылған тілдің формулаларын зерттеу үшін жобада тұрақты (М. Морли, С. Шелаг, А. Лахлан, Дж. Болдуин, Д. Ласкар, У. Хрушовский), o-минималды (Д) үшін әзірленген тип теориясы қолданылды. Маркер, Ч.Стейнхорн, А.Пиллай, Л.Майер, Л.ван ден Дрис), жоба жетекшісі әзірлеген әлсіз o-минималды теорияларға арналған 1 типті теориялық аппарат. 70-ші жылдары тұрақты теориялар үшін жасалған әдістер классикалық болды. Реттелген тұрақты теориялардың үлгілерін зерттеу әдістері тұрақтылық теориясының әдістері мен сызықтық реттерді, атап айтқанда o-минималды және әлсіз o-минималды зерттеу әдістерінің жиынтығы болып табылады.

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

Obtained results and novelty (in Kazakh) : Қасиеттері бойынша тұрақты және o-минималды теорияларға жақын толық теориялардың кластары сипатталды, олардың үлгілері үшін барлық 1-түрлердің анықталуынан бастап, осы модельге қарағанда барлық түрлердің анықталу мүмкіндігі туындайды. Қасиеттері бойынша тұрақты және 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) : Әмбебап алгебра. Атап айтқанда, анықталатын жиындар тобының минималдылығы бойынша қосымша шарттары бар алгебралық жүйелер кластары.