MIP* = RE for the computable class: a language has a computable family of games with gap 1 versus 1/2 if and only if it is recursively enumerable

Initializing...

MIP* = RE for the computable class: a language has a computable family of games with gap 1 versus 1/2 if and only if it is recursively enumerable · Prove2Me