№АР22685890

Руководитель проекта Алтаева Айжан Бакаткалиевна, PhD

Цель проекта. Исследовательская работа посвящена изучению вопросов изучение взаимосвязи понятий бинарности и почти омега-категоричности в слабо о-минимальных теориях, а также изучению взаимосвязи понятий почти бинарности и счетной категоричности в слабо циклически минимальных теориях.

Актуальность. Проект развивает общую теорию моделей и направлен на решение проблемы классификации упорядоченных алгебраических систем и их элементарных теорий. Темы исследований данного проекта являются в настоящий момент актуальными для развития теории алгебраических систем и интенсивно изучаются в ведущих мировых математических центрах.

Научный эффект будет заключаться в получении новых результатов в области исследования вариантов о-минимальности для упорядоченных структур, а также изучения их производных объектов. Это будет способствовать дальнейшему развитию общей теории моделей. Социально-экономический эффект будет заключаться в повышении интеллектуального потенциала страны, подготовки новых кадров и возможном дальнейшем применении полученных результатов к таким прикладным областям знаний, как общая теория реляционных баз данных и формальные методы разработки программного обеспечения. .

Ожидаемые результаты:

• Будут приведены основные задачи и построены аппроксимирующие их конечномерные уравнения;
• Будет опубликовано не менее 2 статей в журналах из первых трех квартилей по импакт-фактору в базе данных Web of Science или имеющих процентиль по CiteScore в базе данных Scopus не менее 50.

Состав исследовательской группы: