Inventory number | IRN | Number of state registration | ||
---|---|---|---|---|
0322РК00616 | AP09259295-KC-22 | 0121РК00374 | ||
Document type | Terms of distribution | Availability of implementation | ||
Краткие сведения | Gratis | Number of implementation: 0 Not implemented |
||
Publications | ||||
Native publications: 0 | ||||
International publications: 0 | Publications Web of science: 0 | Publications Scopus: 0 | ||
Patents | Amount of funding | Code of the program | ||
0 | 18679429 | AP09259295 | ||
Name of work | ||||
Об алгебраическом и определимом замыканиях в новых сильно минимальных теориях | ||||
Type of work | Source of funding | Report authors | ||
Fundamental | Вербовский Виктор Валериевич | |||
0
0
2
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 | ||||
Определимое и алгебраическое замыкания подмножества генерической сильно минимальной модели Жалпы күшті минималды үлгінің ішкі жиынының анықталатын тұйықталу және алгебралық тұйықталу. Исследование свойств алгебраического и определимого замыкания в новых сильно минимальных теориях, в том числе для развития теории Галуа в этих теориях. Мақсаттар жаңа минималды теориялардағы алгебралық және анықталатын тұйықталу қаси-еттерін зерттеу, оның ішінде осы теориялардағы Галуа теориясын дамыту. Методы теории стабильности и методы изучения генерических стурктур, метод построения аналога нормального расширения из теории полей для генери-ческих структур, аппарат классической теории моделей и общей алгебры. Тұрақтылық теориясының әдістері және жалпы құрылымдарды зерттеу әдістері, тектік құрылымдар үшін өріс теориясынан қалыпты кеңейтудің аналогын құру әдісі, классикалық модель теориясының аппараты және жалпы алгебра. 4. Мы получили описание новых сильно минимальных теорий, которые не допускают элиминацию воображаемых элементов. 5. Мы нашли условия, в том числе на функцию mu, гарантирующие что не существует определимой функции от n независимых переменных. 6. Мы нашли условия, в том числе на функцию mu, гарантирующие что не существует определимой симметрической функции от n независимых переменных. 8. Мы описали структуру алгебраического замыкания в новых сильно минимальных теориях. Все результаты новые. 4. Біз ойдан шығарылған элементтерді жоюға мүмкіндік бермейтін жаңа минималды теориялардың сипаттамасын алдық. 5. Біз шарттарды табамыз, оның ішінде mu функциясы да, n тәуелсіз айнымалыларда анықталатын функция жоқ екеніне кепілдік бердік. 6. Біз шарттарды, оның ішінде mu функциясындағы шарттарды табамыз, олар n тәуелсіз айнымалыларда симметриялық функция анықталмайтындығына кепілдік бердік. 8. Біз алгебралық тұйықталу құрылымын жаңа минималды теорияларда сипаттайтын болдық. Барлық нәтижелер жаңа. Данный пункт не применим к фундаментальным исследованиям. Бұл тармақ іргелі зерттеулерге қолданылмайды. Внедрения нет. Іске асыру жоқ. Все запланированные задачи выполнены. Эффективность 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 | Вербовский Виктор Валериевич | Доктор физико-математических наук / доцент |