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

The object of research, development or design (in Kazakh) : Зерттеу объектісі тәуелді (NIP) теориялар класына жататын толық теориялар.

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

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

Методы исследования (на русском) : Методами исследования являются: рассмотрение типов над множествами и над моделями.

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

Obtained results and novelty (in Russian) : Все полученные результаты являются новыми, носят фундаментальный, теоретический характер и заключаются в следующем. Решены все задачи из календарного плана, в том числе ниже перечисленные. Установлены условия определимости 1-типа над множеством обобщенных о-минимальных моделей на частично упорядоченном множестве и упорядоченно-устойчивых теорий. Для обобщенных о-минимальных теорий и для каждого класса упорядоченно-устойчивых теорий будет охарактеризован вид неортогональности, сохраняющий (не)определимость при этой неортогональности двух 1-типов. Охарактеризованы классы полных теорий, близких по свойствам к стабильным и о-минимальным, для моделей которых определимость всех 1-типов влечет определимость всех типов над этой моделью. Для них выделены подклассы теорий, модели которых определимы для всех типов. Заданы условия на стабильную теорию, при которых каждое множество является слабо доброкачественным. Выделен класс стабильных теорий, при обогащении любым множеством своей модели которых устойчивость расширенной модели эквивалентна стабильности индуцированной модели. Выяснено, что существование возможности обогащения D-типов до D-типов с большей областью определения подразумевает существование (D,λ)-однородных моделей для любого λ. Описан класс D-типов, для которых возможность обогащения до D-типов с большей областью определения не противоречит теории множеств ZFC.

Obtained results and novelty (in Kazakh) : Алынған барлық нәтижелер жаңа, іргелі және теориялық сипатта және келесідей. Кестедегі барлық тапсырмалар, соның ішінде төменде келтірілгендер шешілді. Ішінара реттелген жиынтықтағы және ретті тұрақты теориялардағы жалпыланған o-минималды модельдер жиынындағы 1 типті анықтау шарттары белгіленді. Жалпыланған o-минималды теориялар үшін және ретті тұрақты теориялардың әрбір класы үшін екі o типті ортогоналды емес жағдайда анықталуды сақтайтын ортогоналдылық емес түрі сипатталады. Тұрақты және o-минималды теорияларға ұқсас қасиеттері бар толық теориялар кластары сипатталады, олар үшін барлық o типтерінің анықталуы осы модель бойынша барлық типтердің анықталуын білдіреді. Бұл теориялар үшін модельдері барлық типтер үшін анықталатын теориялардың ішкі кластары анықталды. Тұрақты теорияның шарттары көрсетілген, олардың астында әрбір жиынтық әлсіз қатерсіз. Тұрақты теориялар класы анықталды, олардың моделінің кез келген жиынымен кеңейтілгенде, кеңейтілген модельдің тұрақтылығы индукцияланған модельдің тұрақтылығына тең болады. D-типтерін үлкенірек домені бар D-типтеріне кеңейту мүмкіндігі кез келген λ үшін (D,λ)-біртекті модельдердің бар екенін білдіретіні анықталды. Үлкенірек домені бар D-типтеріне кеңейту мүмкіндігі ZFC жиынтықтары теориясына сәйкес келетін D-типтерінің класы сипатталған.

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) : Математика және информатика.