ФУНДАМЕНТАЛЬНАЯ И ПРИКЛАДНАЯ МАТЕМАТИКА
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/98219t.htm
Изменения вносились 24 апреля 2000 г.