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