О гливенковских классах секвенций

Любой список вида $\{V_1^{\alpha_1},V_2^{\alpha_2},\dots, V_n^{\alpha_n}\}$, где $V_1,V_2,\dots,V_n$ – позициональные связки или кванторы и $\alpha_1,\alpha_2,\dots,\alpha_n$ – знаки плюс или минус, будем называть $\sigma$-классом. Будем говорить, что секвенция $S$ принадлежит $\sigma$-классу $\{V_1^{\alpha_1},V_2^{\alpha_2},\dots, V_n^{\alpha_n}\}$, где $V_1,V_2,\dots,V_n$, если при всех $i$, не превосходящих $n$, символ $V_i$ не входит в $S$ со знаком $\alpha_i$ (т.е.не входит положительно, если $\alpha_i=+$, и не входит отрицательно, если $\alpha_i=-$). $\sigma$-класс $\mathfrak{U}$ будем называть гливенковским (вполне гливенковским), если любая секвенция с пустым сукцедентом (соответственно любая секвенция, в сукцеденте которой не более одной формулы), принадлежащая $\mathfrak{U}$, выводима в классическом исчислении предикатов с равенством тогда и только тогда, когда она выводима в конструктивном исчислении предикатов с равенством. В статье дается полное описание всех гливенковских и вполне гливенковских а-классов. Библ. 15 назв.