ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
1998, ТОМ 4, ВЫПУСК 2, СТР. 733-749

Разрешимые логики первого порядка

Р. Э. Яворский

Аннотация

Посмотреть как HTML    Посмотреть как рисунок    Посмотреть в формате LaTeX

Логикой $ \mathcal L(T) $ произвольной теории T первого порядка называется множество предикатных формул, выводимых в T при любой интерпретации в ее язык. Доказано, что для теории равенства и теории плотного линейного порядка без минимального и максимального элементов $ \mathcal L(T) $ разрешима, но не может быть аксиоматизирована никаким множеством схем ограниченной валентности. В то же время для большинства выразительно сильных теорий $ \mathcal L(T) $ оказывается неразрешимой.

Постскрипт статьи (70 Kb)

Главная страница Редколлегия Информация для авторов
Поиск Содержание журнала Объявления

URL страницы: http://mech.math.msu.su/~fpm/rus/98/982/98219h.htm
Изменения вносились 24 апреля 2000 г.