Теорема о локальном ранге одноместных предикатов

Язык узкого исчисления предикатов используется для описания за­дач, связанных с вычислением совокупности оценок одноместного пре­диката на элементах множества при помощи локальных средств. Дока­зано, что вычисление мажорантной функции в общем случае связано с перебором подмножеств элементов окрестности максимальной степени, участвующей в описании задачи.