| 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 | Вербовский Виктор Валериевич | Доктор физико-математических наук / доцент | ||