%0 Journal Article
%A P. V. Andreev
%T On definable predicates of standardness in internal set theory
%J Matematičeskie zametki
%D 1999
%P 803-809
%V 66
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1999_66_6_a0/
%G ru
%F MZM_1999_66_6_a0