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