Inventory number IRN Number of state registration
0223РК00346 AP09259295-OT-23 0121РК00374
Document type Terms of distribution Availability of implementation
Заключительный Gratis Number of implementation: 0
Not implemented
Publications
Native publications: 1
International publications: 4 Publications Web of science: 4 Publications Scopus: 4
Number of books Appendicies Sources
1 2 16
Total number of pages Patents Illustrations
44 0 0
Amount of funding Code of the program Table
20930748 AP09259295 0
Code of the program's task under which the job is done
217
Name of work
Об алгебраическом и определимом замыканиях в новых сильно минимальных теориях
Report title
Type of work Source of funding The product offerred for implementation
Fundamental Модель
Report authors
Вербовский Виктор Валериевич , Бекенов Махсут Искандерович , Ершигешова Айша Дауреновна , Байжанов Бектур Сембиулы , Кулпешов Бейбут Шайыкович , Замбарная Татьяна Сергеевна , Умбетбаев Олжас Асылбекович , Әділ Жанар Төребекқызы , Туленбаев Кайсар Маратович ,
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

Сильно минимальные нелокально модулярные структуры Хрушовского и алгебраическое замыкание множества.

Күшті минималды жергілікті емес модульдік Грушовский құрылымдары және жиынның алгебралық тұйықталуы.

Цели — исследование свойств алгебраического и определимого замыкания в новых сильно минимальных теориях, в том числе для развития теории Галуа в этих теориях.

Мақсаттар жаңа минималды теориялардағы алгебралық және анықталатын тұйықталу қасиеттерін зерттеу, оның ішінде осы теориялардағы Галуа теориясын дамыту.

Методы классической и современной теории моделей, методы теории групп автоморфизмов.

Классикалық және қазіргі модельдер теориясының әдістері, автоморфизм топтары теориясының әдістері.

1. Построены функции от двух независимых переменных, определимой в некоторых новых сильно минимальных теориях. 2. Найдены условия, в том числе на функцию mu, гарантирующие, что не существует функции от двух независимых переменных, определимой в новых сильно минимальных теориях. 3. Найдены условия, в том числе на функцию mu, гарантирующие, что не существует симметрической функции от двух независимых переменных, определимой в новых сильно минимальных теориях. 4. Получено описание новых сильно минимальных теорий, которые не допускают элиминацию воображаемых элементов. 5. Найдены условия, в том числе на функцию mu, гарантирующие что не существует определимой функции от n независимых переменных. 6.Найдены условия, в том числе на функцию mu, гарантирующие что не существует определимой симметрической функции от n независимых переменных. 7. Построены примеры новых сильно минимальных теорий, в которых существуют определимые симметрические функции от n переменных. 8. Была описана структура алгебраического замыкания в новых сильно минимальных теориях. Все результаты новые.

1. Кейбір жаңа күшті минималды теорияларда анықталатын екі тәуелсіз айнымалының функциялары құрастырылған. 2. Жаңа күшті минималды теорияларда анықталатын екі тәуелсіз айнымалы функциясының жоқтығына кепілдік беретін, соның ішінде mu функциясы үшін шарттар табылды. 3. Жаңа күшті минималды теорияларда анықталатын екі тәуелсіз айнымалының симметриялық функциясының жоқтығына кепілдік беретін, соның ішінде mu функциясы үшін шарттар табылды. 4. Ойдан шығарылған элементтерді жоюға мүмкіндік бермейтін жаңа күшті минималды теориялардың сипаттамасы алынады. 5. n тәуелсіз айнымалылардың анықталатын функциясының жоқтығына кепілдік беретін, соның ішінде mu функциясы үшін шарттар табылды. 6. n тәуелсіз айнымалының анықталатын симметриялық функциясының жоқтығына кепілдік беретін, соның ішінде mu функциясы үшін шарттар табылды. 7. n айнымалының анықталатын симметриялық функциялары бар жаңа күшті минималды теориялардың мысалдары құрастырылған. 8. Жаңа күшті минималды теориялардағы алгебралық тұйықталудың құрылымы сипатталды. Барлық нәтижелер жаңа.

Работа носит теоретический характер.

Жұмыстың теориялық сипаты бар.

Результаты готовы к применению.

Нәтижелер пайдалануға дайын.

Высокая.

Жоғары.

Математическая логика, алгебра, теория моделей.

Математикалық логика, алгебра, модельдер теориясы.

UDC indices
510.67
International classifier codes
27.03.66;
Readiness of the development for implementation
Key words in Russian
теория моделей; сильно минимальные теории; генерическая модель; алгебраическое замыкание; теория стабильности; конструкция Хрушовского; определимое замыкание; конструкция Фраиссе;
Key words in Kazakh
модель теориясы; күшті минималды теориялар; туындату модель; алгебралық жабылу; тұрақтылық теориясы; Хрушовски құрылысы; анықталған жабылу; Фраиссе құрылысы;
Head of the organization Сыздыков Аскар Хамзаевич Кандидат технических наук / Старший научный сотрудник
Head of work Вербовский Виктор Валериевич Доктор физико-математических наук / доцент
Native executive in charge Бекенов Махсут Искандерович доцент