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