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

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

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

Аннотация

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

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

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

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