Inventory number | IRN | Number of state registration | ||
---|---|---|---|---|
0321РК00410 | AP09259295-KC-21 | 0121РК00374 | ||
Document type | Terms of distribution | Availability of implementation | ||
Краткие сведения | Gratis | Number of implementation: 0 Not implemented |
||
Publications | ||||
Native publications: 0 | ||||
International publications: 2 | Publications Web of science: 2 | Publications Scopus: 2 | ||
Patents | Amount of funding | Code of the program | ||
0 | 18053288 | AP09259295 | ||
Name of work | ||||
Об алгебраическом и определимом замыканиях в новых сильно минимальных теориях | ||||
Type of work | Source of funding | Report authors | ||
Fundamental | Вербовский Виктор Валериевич | |||
0
0
3
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 Построены функции от двух независимых переменных, определимой в некоторых новых сильно минимальных теориях. 2 Найдены условия, в том числе на функцию μ, гарантирующие, что не существует функции от двух независимых переменных, определимой в новых сильно минимальных теориях. 3 Найдены условия, в том числе на функцию μ, гарантирующие, что не существует симметрической функции от двух независимых переменных, определимой в новых сильно минимальных теориях. 1 Кейбір жаңа күшті минималды теорияларда анықталатын екі тәуелсіз айнымалының функциялары құрастырылған. 2 Жаңа күшті минималды теорияларда анықталатын екі тәуелсіз айнымалы функция-ның жоқтығына кепілдік беретін μ функциясын қоса алғанда, шарттар табылды. 3 Жаңа күшті минималды теорияларда анықталатын екі тәуелсіз айнымалының сим-метриялық функциясының жоқтығына кепілдік беретін μ функциясын қоса алғанда, шарттар табылды. Данный пункт не применим к фундаментальным исследованиям. Бұл тармақ іргелі зерттеулерге қолданылмайды. Внедрения нет. Іске асыру жоқ. Все запланированные задачи выполнены. Эффективность 100%. Барлық жоспарланған тапсырмалар орындалды. Тиімділігі 100%. Математика, в том числе, математическая логика, алгебра и комбинаторика. Математика, оның ішінде математикалық логика, алгебра және комбинаторика. |
||||
UDC indices | ||||
510.67 | ||||
International classifier codes | ||||
27.03.66; | ||||
Key words in Russian | ||||
теория моделей; сильно минимальные теории; генерическая модель; алгебраическое замыкание; теория стабильности; конструкция Хрушовского; определимое замыкание; конструкция Фраиссе; | ||||
Key words in Kazakh | ||||
модель теориясы; күшті минималды теориялар; туындату модель; алгебралық жабылу; тұрақтылық теориясы; Хрушовски құрылысы; анықталған жабылу; Фраиссе құрылысы; | ||||
Head of the organization | Шокпаров Алибек Жумабекович | Кандидат педагогических наук / | ||
Head of work | Вербовский Виктор Валериевич | Доктор физико-математических наук / доцент |