%0 Journal Article
%A Čuda, Karel
%T An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
%J Commentationes Mathematicae Universitatis Carolinae
%D 1982
%P 785-803
%V 23
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1982__23_4_a14/
%G en
%F CMUC_1982__23_4_a14