Some structural complexity results for $\exists \mathbb{R}$

Klaus Meer, Adrian Wurm

The complexity class $\exists \mathbb{R}$, standing for the complexity of deciding the existential first order theory of the reals as real closed field in the Turing model, has raise…