Предикатные логики выразительно сильных теорий

В работе доказано, что для теории полей, теории колец, теории групп и всех арифметически корректных теорий логика $L(T)$ совпадает с исчислением предикатов.
Библиография: 16 названий.