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

Initializing...

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