Can P=PSPACE and PSPACE problems be formulated as $\Pi_1$ formula?
You can get a $\Sigma_2$ sentence for $\mathsf{P}=\mathsf{PSPACE}$, using the same technique as in the blog post, only replace $SAT$ by $QBF$. I doubt there is a known sentence of lower complexity.