RE is contained in the computable class MIP*: a computable family of games with value 1 on an r.e. language and at most 1/2 off it

Initializing...

RE is contained in the computable class MIP*: a computable family of games with value 1 on an r.e. language and at most 1/2 off it · Prove2Me