Получены необходимые и достаточные условия нефоркуемости экзистенциональных типов над произвольными подмножествами семантической модели совершенной йонсоновской теории. Центр полной для экзистенциональных предложений йонсоновской теории допускает элиминацию кванторов на языке решеток формул. Определен критерий экзистенциональной замкнутости сигма-категоричного йонсоновского универсала графов.
