Абсолютная реализуемость предикатных формул

Вводится понятие абсолютно реализуемой предикатной формулы, которое может рассматриваться как некоторое уточнение понятия конструктивно общезначимой формулы логики предикатов. Доказывается, что класс всех абсолютно реализуемых формул есть $\Pi^1_1$-полное множество.
Библиография: 16 названий.