To say simply, can PSPACE problems be written as $\Pi_1$ formula? Or how can these problems be written in terms of (first-order) arithmetic hierarchy?
edit:also currently, by what arithmetic hierarchy formula can P=PSPACE be written?
and what would be the consequence of being able to write P=PSPACE as $\Pi_1$ formula?