Corollary: There is no universal solvable word problem group. That is, if is a finitely presented group that contains an isomorphic copy of every finitely presented group with solvable word problem, then itself must have unsolvable word problem.
Corollary There is no universal solvable word problem group. That is, if is a finitely presented group that contains an isomorphic copy of every finitely presented group with solvable word problem, then itself must have unsolvable word problem.