Базисные и производные объекты для упорядоченных и генерических структур, а также их элементарных теорий
Full Name of the work head: Кулпешов Бейбут Шайыкович
Исполнители проекта:
: Акционерное общество "Международный университет информационных технологий"
Inventory number: 0219РК00100
Registration number: 0118РК00505
Keywords: Упорядоченная структура, ,генерическая структура,алгебра формул,счетная модель,элементарная теория,о-минимальность,бинарность,счетная категоричность
Цель проекта – исследование теоретико-модельных свойств упорядоченных и генерических структур, а также их элементарных теорий, их описание и классификация на основе производных объектов.