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