RE is contained in the paper's class $\mathrm{MIP}^*_{1,1/2}(2,1)$, given an answer reduction stage

Initializing...

RE is contained in the paper's class $\mathrm{MIP}^*_{1,1/2}(2,1)$, given an answer reduction stage · Prove2Me