In fact, the existential theory of the reals can be decided in PSPACE.
実は実数の存在理論（英語版）は PSPACE で決定できる。