Классификационные вопросы упорядоченных и генерических структур, а также их элементарных теорий
Руководитель проекта: Кальменов Т.Ш.
Исполнители проекта: Кулпешов Б.Ш., Судоплатов С.В. и др.
Организация: Институт математики и математического моделирования
Инвентарный номер: 0217РК01219
Регистрационный номер: 0115РК00625
Ключевые слова: бинарные формулы*упорядоченные структуры*генерические структуры
Описаны алгебры распределения бинарных изолирующих формул для о-минимальных теорий с малым числом счетных моделей и теорий алгебр с одноместными функциями. Доказана теорема о числе предельных моделей. Исследованы распределение счетных моделей теории и строение их гиперграфов в целом и для отдельных теорий. Рассмотрено распределение счетных моделей в классе слабо о-минимальных теорий. Доказана теорема о счетном спектре, являющаяся решением проблемы Воота для о-минимальных теорий. Изучено распределение счетных моделей для теорий с континуальным числом типов.