Структурные и алгоритмические свойства моделей полных теорий
Full Name of the work head: Омаров А.И.
Исполнители проекта: С.С.Заурбеков
: НИИ мех.и мат.при КазГУ
Inventory number: 0296РК00039
Registration number: 0194РК01208
Keywords: модели, полные теории, алгоритмические свойства, семантические классы, критерии, алгебра, теория чисел,
Объект исследования: структурные и алгоритмические свойства моделей полных теорий. Цель: получение критерия Р-формул, выяснение алгоритмической сложности семантических классов предложений. Получены критерии слабо О-минимальности инерической модели и не минимальности простой модели О-минимальной теории. Результаты носят теоретический характер. Область применения: математическая логика, алгебра и теория чисел.
