15
votes
3answers
414 views

Is the isomorphism problem for amenable groups decidable?

Is it algorithmically decidable if two finitely presented amenable groups are isomorphic? Or slightly different: Does there exist a family of amenable groups (indexed by natural numbers) for which ...