On a question of Bumagin and Wise
arXiv:1509.01848
Abstract
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.
8 pages