1 problem

Let a finitely generated group have a $\Pi^0_1$ word problem, meaning that its word problem is a co-c.e. equivalence relation on words, but suppose it is not isomorphic to a finite…