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

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

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

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

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

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

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

Obtained results and novelty (in Kazakh) : Шарттар dp-минималды теориясы бар реттелген топ әлсіз квази-о-минималды болғанда сипатталады. Атап айтқанда, бұл топ формулалық дөңес ішкі топтардың шектеулі санын ғана қамтуы керек. Қарастырылып отырған реттелген топтардың дөңестік дәрежесі бойынша шектеулер формулалық дөңес топшалар саны бойынша сипатталады. Егер дөңестің дәрежесі ақырлы болса, онда ол формулалық дөңес тривиальды емес топшалардың санына тең болатыны дәлелденді. Қарастырылып отырған класстардың реттелген тобында анықталатын біртұтас функцияның тереңдігіндегі шектеулер формулалық дөңес ішкі топтардың саны бойынша сипатталады. Формулалық функцияның тереңдігі реттелген o-omega тұрақты теориялар үшін формулалық дөңес тривиальды емес топшалардың санынан аспайтыны дәлелденді. Барлық алынған нәтижелер жаңа.

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) : Все запланированные задачи выполнены. Эффективность 100%. Исследования являются фундаментальными.

Efficiency (in Kazakh) : Барлық жоспарланған тапсырмалар орындалды. Тиімділігі 100%. Зерттеу іргелі болып табылады.

Field of application (in Russian) : Теория моделей, алгебра, математика.

Field of application (in Kazakh) : Модельдік теория, алгебра, математика.