Элементарные расширения, опускание типов и однородные модели

Получены некоторые условия, при которых данная модель имеет собственное элементарное расширение, в котором опускается заданное семейство типов.