Inventory number IRN Number of state registration
0324РК00252 AP22685890-KC-24 0124РК00183
Document type Terms of distribution Availability of implementation
Краткие сведения Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 0
International publications: 1 Publications Web of science: 0 Publications Scopus: 0
Patents Amount of funding Code of the program
0 9974665.16 AP22685890
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

Объектом исследования являются почти омега-категоричные и счетно категоричные упорядоченные теории.

Зерттеу объектісі омега-категориялық дерлік және саналымды категориялық реттелген теориялар болып табылады.

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

О-минималдылық, әлсіз о-минималдылық және әлсіз циклдік минималдылықтың жалпы құрылымдық қасиеттерін зерттеу; омега-категориялық дерлік әлсіз о-минималды теорялардың қасиеттерін зерттеу; саналымды категориялық әлсіз циклдік минималды теориялардың қасиеттерін анықтау.

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

Зерттеу классикалық модельдер теориясының әдістерін қамтиды, сондай-ақ о-минималдылық және оның нұсқалары сияқты түсініктерді қолдана отырып, реттелінген құрылымдарды зерттеу әдісін қолданады.

Все полученные результаты являются новыми, носят фундаментальный, теоретический характер и заключаются в следующем: Были исследованы вопросы почти омега-категоричности слабо о-минимальных теорий конечного ранга выпуклости, имеющих малое число счетных моделей, также вопросы бинарности почти омега-категоричных вполне о-минимальных теорий. Рассмотрены подклассы класса слабо о-минимальных теорий – вполне о-минимальные теории, и доказана бинарность почти омега-категоричных вполне о-минимальных теорий. И описаны алгебры распределений бинарных изолирующих формул для почти омега-категоричных слабо о-минимальных теорий: получено описание алгебр для неалгебраических 1-типов, найден критерий обобщенной коммутативности алгебры бинараных формул над парой не слабо ортогональных неалгебраических 1-типов. Были исследованы алгебры распределений бинарных изолирующих формул для почти омега-категоричных слабо о-минимальных теорий.

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

За отчетный период руководитель проекта защитила диссертацию на соискание степени PhD по математике. Также выступила в международной конференции с секционным докладом. В данный момент готовится к следующей международной конференции «Мальцевские чтения 2024» которая состоится в середине ноября в Новосибирске.

Есептік кезеңде жобаның жетекшісі математика бойынша PhD дәрежесін алу үшін диссертация қорғады және халықаралық конференцияда баяндама жасады. Қазіргі уақытта ол қараша айының ортасында Новосибирскте өтетін «Мальцевские чтения 2024» халықаралық конференциясына дайындалуда.

Результаты исследований носят теоретический характер.

Зерттеу нәтижелері теоретикалық сипатқа ие.

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

Күтілетін әлеуметтік және экономикалық әсер елдің интеллектуалдық әлеуетінің артуы мен жаңа мамандардың қалыптасуында жатыр.

Результаты исследований могут быть использованы для будущих исследований в теории моделей и в различных областях математики. Кроме того, они актуальны для таких направлений компьютерных наук, как общая теория реляционных баз данных, гибридные системы и формальные методы анализа информационных систем.

Зерттеу нәтижелері модельдер теориясында және математикадағы әртүрлі салаларда алдағы зерттеулер үшін пайдаланылуы мүмкін. Сондай-ақ, олар компьютерлік ғылымдар саласында, мысалы, реляциялық деректер базасының жалпы теориясы, гибридтік жүйелер және ақпараттық жүйелерді талдаудың формальды әдістері үшін де өзекті.

UDC indices
510.6
International classifier codes
27.03.66;
Key words in Russian
почти ω-категоричность; ранг выпуклости; бинарная теория; слабая циклическая минимальность; циклически упорядоченная структура; слабая o-минимальность; счетная категоричность; алгебра распределений бинарных изолирующих формул; ω-категоричная слабо o-минимальная теория;
Key words in Kazakh
дерлік ω-категориялық; дөңестік ранг; бинарлы теория; әлсіз циклдік минималдылық; циклдік реттелген құрылым; әлсіз o-минималдылық; есептік категориялық; бинарлы оқшаулау; ω-категориялық әлсіз o-минималды теория;
Head of the organization Исахов Асылбек Абдиашимович PhD / профессор
Head of work Алтаева Айжан Бакаткалиевна / Магистр технических наук