Об одном достаточном условии непредставимости структур в наследственно конечных надстройках

Определяется класс экзистенциально-штейницевых структур, содержащий, в частности, поля вещественных и комплексных чисел. Доказывается общий результат, из которого следует, что для экзистенциально-штейницевой структуры $\mathfrak M$ следующие структуры не вложимы ни в какую структуру, $\Sigma$-представимую над $\mathbb{HF}(\mathfrak M)$ с тривиальной эквивалентностью: булева алгебра всех подмножеств $\omega$, её фактор по идеалу конечных множеств, группа всех перестановок на $\omega$, её фактор по подгруппе всех финитарных перестановок, полугруппа всех отображений из $\omega$ в $\omega$, решётка всех открытых и решётка всех замкнутых множеств вещественных чисел, группа всех $\Sigma$-определимых с параметрами над $\mathbb{HF(R)}$ перестановок на $\mathbb R$, полугруппа таких отображений из $\mathbb R$ в $\mathbb R$.