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 | Алтаева Айжан Бакаткалиевна | / Магистр технических наук |