It is not the case that Arithmetization in IP=PSPACE ultimately reduces to properties that *do* relativize: polynomial evaluation and interactive verification still hold under oracle modifications.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.