This article is cited in 23 papers

Absolute realizability of predicate formulas

V. E. Plisko


Abstract: 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 $\Pi^1_1$-complete set.
Bibliography: 16 titles.

UDC: 51.01.16

MSC: Primary 03B60, 03F50, 03F55; Secondary 03B65, 03D20, 03D25, 03D55, 03F35, 68F20

Received: 02.04.1982

 English version: Mathematics of the USSR-Izvestiya, 1984, 22:2, 291–308

Bibliographic databases:

• 
•