Алгоритмические проблемы логики
Full Name of the work head: Перетятькин М.Г.
Исполнители проекта: С.А.Бадаев
: Ин-т мат.
Inventory number: 0200РК00105
Registration number: 0197РК00342
Keywords: логика, модели, алгоритмические, свойства, исследования,
Исследованы алгоритмические и структурные свойства моделей, семантические классы предложений, абсолютность понятия однородной модели в аксиоматической теории множеств Цермелло-Френкеля. Описан класс булевых алгебр с условием универсальности над некоторым классом иерархии. Найдены условия единственности минимального элемента в полурешетке Роджерса и условия эффективной бесконечности класса вычислимых индексаций.
