Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множествдоклад на конференции