В. Г. Кановей, В. А. Любецкий, “Проблемы теоретико-множественного нестандартного анализа”, УМН, 62:1(373) (2007), 51–122 ; V. G. Kanovei, V. A. Lyubetskii, “Problems in set-theoretic nonstandard analysis”, Russian Math. Surveys, 62:1 (2007), 45–111