Logical equations in monadic logic

Логическую формулу $F(\mathbf X,\mathbf P)$ можно рассматривать как уравнение на предикаты $\mathbf X$ с решениями $\mathbf X_0(\mathbf P)$, зависящими от параметров $\mathbf P$ (если уравнение разрешимо). Дж. Маккарти рассмотрел параметризацию решений, описал общее решение в пропозициональном случае и сформулировал проблему для более сильных логик. Мы находим общее решение для формул исчисления предикатов первого порядка с одноместными предикатами и равенством. Решения получаются методом элиминации кванторов и параметризуются $\epsilon$-термами. Библ. – 10 назв.