[FOM] Proof-theoretic proof of NP=PSPACE?

[Joao Marcos]

> New on arXiv this week; has anyone read it/formed an opinion?
>
> https://arxiv.org/abs/1609.09562
>
> NP vs PSPACE
> Lew Gordeev <https://arxiv.org/find/cs/1/au:+Gordeev_L/0/1/0/all/0/1>,
> Edward Hermann Haeusler
> <https://arxiv.org/find/cs/1/au:+Haeusler_E/0/1/0/all/0/1>
> (Submitted on 30 Sep 2016)

More info may be found on the following webpage:
http://www.tecmf.inf.puc-rio.br/NPPSPACE

JM