1 problem

Let $G$ be a finitely presented computable group. A computable $d$-$\Sigma_2$ Scott sentence is a Scott sentence for $G$ that is the conjunction of a computable $\Sigma_2$ sentence…