TY  - JOUR
AU  - V. G. Kanovei
AU  - M. Reeken
TI  - Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST
JO  - Matematičeskie zametki
PY  - 1999
SP  - 202
EP  - 210
VL  - 66
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1999_66_2_a6/
LA  - ru
ID  - MZM_1999_66_2_a6
ER  -