ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
V. E. Plisko · Mathematics of the USSR-Izvestiya · 1984
The concept of an absolutely realizable predicate formula is introduced. It can be regarded as a certain refinement of the concept of a constructively generally valid formula in predicate logic. It is proved that the class of all absolutely realizable formulas is a -complete set.Bibliography: 16 titles.