Inventory number IRN Number of state registration
0324РК00568 AP22685272-KC-24 0124РК00141
Document type Terms of distribution Availability of implementation
Краткие сведения Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 1
International publications: 0 Publications Web of science: 0 Publications Scopus: 0
Patents Amount of funding Code of the program
0 9982654.8 AP22685272
Name of work
Свойства подмножеств и функций, определимых в упорядоченно стабильных теориях
Type of work Source of funding Report authors
Fundamental Ершигешова Айша Дауреновна
0
0
1
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

Объектом исследования проекта являются упорядоченные алгебраические структуры определенных классов элементарных теорий и формульные в рассматриваемом языке подмножества и функции. В связи с этими методами, мы собираемся использовать методы: исследования теории стабильности и методы исследования упорядоченных структур, которые включают в себя методы исследования о-минимальных, слабо о-минимальных, квази-о-минимальных, о-стабильных теорий.

Біздің жобаның зерттеу пәніміз ретінде қарастырылатын тілдегі элементар теориялардың белгілі бір кластарының алгебралық құрылымдары және анықталатын ішкі жиындар мен функциялар реттелген. Осы әдістерге байланысты біз мына әдістерді қолданамыз: тұрақтылық теориясын зерттеу және реттелген құрылымдарды зерттеу әдістері, оған o-минималды, әлсіз o-минималды, квази-о-минималды, o-тұрақты теорияларды зерттеу әдістері кіреді.

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

Реттелген тұрақты теориямен реттелген құрылымдарда анықталатын ішкі жиындар мен функциялардың қасиеттерін зерттеу және сипаттау.

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

Тұрақтылық және реттелген құрылымдар теориясын зерттеу әдістері, оған o-минималды, әлсіз o-минималды, квази-о-минималды, o-тұрақты теорияларды зерттеу әдістері кіреді.

Были описаны чистые линейные порядки о-ранга Морли 1, 2, 3. Были построены примеры чистых линейных порядков о-ранга Морли 1 и о-степени Морли 3. Найдены условия для структур с о-рангом Морли 1 и о-степенью Морли степенью меньше или равно 2,3 и n. Так же эти результаты были обобщены для определимо полных порядков. Было построено дерево, описывающее структуру о-ранга Морли 1 и о-степени Морли n. Оформляется диссертация PhD руководителем проекта, окончивший полный курс программы докторантуры.

Морлидің 1, 2, 3 рангті таза сызықтық реттері сипатталған. Морлидің 1-ші рангтік және Морлидің o-дәрежесі 3-тің таза сызықтық реттерінің мысалдары құрастырылды. Морли рангі 1 және Морли дәрежесі 2,3 және n-ден кем немесе тең болатын құрылымдар үшін шарттар табылды. Сонымен қатар бұл нәтижелер анықталған толық құрылымдар үшін жалпыланған. О-Морли рангі 1 және о-морли дәрежесі n болатын құрылымды сипаттайтын ағаш құрастырылды. Докторантураның толық курсын аяқтаған жоба жетекшісінің PhD диссертациясы дайындалуда.

Нет, так как исследование является фундаментальным.

Жоқ, себебі, зерттеу іргелі болып табылады.

Нет

Жоқ

Исследование является фундаментальным.

Зерттеу іргелі болып табылады.

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

Модельдер теориясындағы өзекті мәселе бойынша зерттеулер: алгебралық құрылымдардың модельдік-теориялық қасиеттерін зерттеу.

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