Robuta

https://eudml.org/doc/104188 EuDML | Non-amenable finitely presented torsion-by-cyclic groups finitely presentedcyclic groupsnonamenabletorsion