%0 Journal Article
%A A. A. Tverskoi
%T Nonconstructivizable formal arithmetic structures
%J Izvestiya. Mathematics 
%D 1988
%P 103-122
%V 30
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1988_30_1_a5/
%G en
%F IM2_1988_30_1_a5