Структурные и алгоритмические свойства моделей полных теорий
Руководитель проекта: Омаров А.И.
Исполнители проекта: С.С.Заурбеков
Организация: НИИ мех.и мат.при КазГУ
Инвентарный номер: 0296РК00039
Регистрационный номер: 0194РК01208
Ключевые слова: модели, полные теории, алгоритмические свойства, семантические классы, критерии, алгебра, теория чисел,
Объект исследования: структурные и алгоритмические свойства моделей полных теорий. Цель: получение критерия Р-формул, выяснение алгоритмической сложности семантических классов предложений. Получены критерии слабо О-минимальности инерической модели и не минимальности простой модели О-минимальной теории. Результаты носят теоретический характер. Область применения: математическая логика, алгебра и теория чисел.