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