Questions tagged [existential-theory-of-the-reals]

Filter by
Sorted by
Tagged with
11
votes
0answers
157 views

$\exists \mathbb R$ and IP

We know NP$\subseteq$ $\exists \mathbb R$$\subseteq$ PSPACE=IP, but is there some more direct proof for $\exists \mathbb R\subseteq$ IP? What about the other direction, are there some Arthur-Merlin ...