1 problem

Let $W_e$ denote the $e$-th recursively enumerable set, and let an ${\sf EI}$ theory mean a recursively enumerable theory that is effectively inseparable. The set of indices of suc…