Хаханян В.
Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств // Логические исследования / Logical Investigations. 2009. Т. 15. C. 229-231.