%0 Journal Article %A V. G. Kanovei %T Undecidable hypotheses in Edward Nelson's internal set theory %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1991 %P 1-54 %V 46 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/RM_1991_46_6_a0/ %G en %F RM_1991_46_6_a0