Inventory number IRN Number of state registration
0325РК00289 AP23484665-KC-25 0124РК00345
Document type Terms of distribution Availability of implementation
Краткие сведения Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 3
International publications: 1 Publications Web of science: 3 Publications Scopus: 3
Patents Amount of funding Code of the program
0 41221171 AP23484665
Name of work
Свойства упорядоченных структур с упорядоченно стабильной теорией и ее вариантами
Type of work Source of funding Report authors
Fundamental Вербовский Виктор Валериевич
0
0
0
0
Customer МНВО РК
Information on the executing organization
Short name of the ministry (establishment) МНВО РК
Full name of the service recipient
Республиканское государственное предприятие на праве хозяйственного ведения "Институт математики и математического моделирования" Комитета науки Министерства науки и высшего образования Республики Казахстан
Abbreviated name of the service recipient ИМММ
Abstract

Упорядоченные алгебраические структуры и их элементарные теории.

Реттелген алгебралық құрылымдар және олардың қарапайым теориялары.

Цель проекта — исследование теоретико-модельных свойств алгебраических структур зависимых теорий с формульным линейным порядком, в том числе упорядоченных групп и полей среди слабо о-минимальных, dp-минимальных, упорядоченно стабильных теорий.

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

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

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

Были найдены ограничения на ранг выпуклости рассматриваемых упорядоченных групп в терминах числа формульных выпуклых подгрупп. Было проверено наличие в классах упорядоченно стабильных и dp-минимальных теорий упорядоченной группы с определимой унарной функцией, которая нигде не является монотонной. Была построена классификация 1-типов в упорядоченно стабильных теориях, исследованы условия неполноты 2-типов и, возможно, n-типов. Все результаты новые.

Қарастырылған реттелген топтардың дөңестік дәрежесіне шектеулер формулалық дөңес топшалар саны бойынша табылды. Кез келген жерде монотонды болмайтын анықталатын унарлы функциясы бар реттелген топтың реттелген тұрақты және dp-минималды теорияларының кластарында болуы тексерілді. Реттелген тұрақты теориялардағы 1-типтердің жіктемесі табылып, 2-типтердің және, мүмкін, n-типтердің толық еместігінің шарттары зерттелді. Барлық нәтижелер жаңа.

Все результаты являются теоретическими, они относятся к фундаментальной науке.

Барлық нәтижелер теориялық және іргелі ғылымға қатысты.

Не внедрено.

Орындалмаған

Все запланированные задачи выполнены. Эффективность 100%. Исследования являются фундаментальными.

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

Теория моделей, алгебра, математика.

Модельдік теория, алгебра, математика.

UDC indices
510.67
International classifier codes
27.03.66;
Key words in Russian
О-минимальная структура; Дп-минимальная теория; NIP теории; упорядоченная группа; упорядоченная структура; дистальная теория;
Key words in Kazakh
O-минималды құрылым; Дп-минималды теориялар; NIP теориялары; реттелген топ; Реттелген құрылым; дистальды теория;
Head of the organization Садыбеков Махмуд Абдысаметович д.ф.-м.н. / профессор
Head of work Вербовский Виктор Валериевич Доктор физико-математических наук / доцент