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