On a question of Bumagin and Wise
Motivated by a question of Bumagin and Wise, we construct a continuum of finitely generated, residually finite groups whose outer automorphism groups are pairwise non-isomorphic finitely generated, non-recursively-presentable groups. These are the first examples of such residually finite groups.
math.GR↗