%0 Journal Article %A V. E. Plisko %T The nonarithmeticity of the class of realizable predicate formulas %J Izvestiya. Mathematics %D 1977 %P 453-471 %V 11 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/IM2_1977_11_3_a0/ %G en %F IM2_1977_11_3_a0