TY - JOUR AU - Kanovei, Vladimir AU - Reeken, Michael IS - 1 JA - Studia Logica PB - Springer Netherlands PY - 2000 TI - Extending standard models of ZFC to models of nonstandard set theories VL - 64 ER -