Упорядоченные структуры, соответствующие счётной категоричности
ЦЕЛЬ
Цель проекта
Исследовательская работа посвящена изучению вопросов изучение взаимосвязи понятий бинарности и почти омега-категоричности в слабо о-минимальных теориях, а также изучению взаимосвязи понятий почти бинарности и счетной категоричности в слабо циклически минимальных теориях.
О ПРОЕКТЕ
Актуальность
Проект развивает общую теорию моделей и направлен на решение проблемы классификации упорядоченных алгебраических систем и их элементарных теорий. Темы исследований данного проекта являются в настоящий момент актуальными для развития теории алгебраических систем и интенсивно изучаются в ведущих мировых математических центрах.
Научный эффект будет заключаться в получении новых результатов в области исследования вариантов о-минимальности для упорядоченных структур, а также изучения их производных объектов. Это будет способствовать дальнейшему развитию общей теории моделей. Социально-экономический эффект будет заключаться в повышении интеллектуального потенциала страны, подготовки новых кадров и возможном дальнейшем применении полученных результатов к таким прикладным областям знаний, как общая теория реляционных баз данных и формальные методы разработки программного обеспечения. .
ПЛАНЫ
Ожидаемые результаты
- Будут приведены основные задачи и построены аппроксимирующие их конечномерные уравнения;
- Будет опубликовано не менее 2 статей в журналах из первых трех квартилей по импакт-фактору в базе данных Web of Science или имеющих процентиль по CiteScore в базе данных Scopus не менее 50.
КОМАНДА
Состав исследовательской группы
Алтаева А.Б.
АО МУИТ, ассистент-профессор
Scopus ID: 57226765602
ORCID: 0000-0001-9238-7131
Кульпешов Б.Ш.
Институт математики и математического моделирования, главный научный сотрудник, научный консультант
Scopus ID: 8645904700
ORCID: 0000-0002-4242-0463
Все научные проекты