Counterexamples to quantifier elimination for fewnomial and exponential expressions

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