Conjugacy Separability of Descending HNN-Extensions of Finitely Generated Abelian Groups

On the residual properties of Baumslag–Solitar groups

“…Conjugacy F -separability of groups G(1, n) was proved in [14]. This assertion is contained also in more general result that was obtained in [19] and affirms that any descending HN N -extension of finitely generated Abelian group is a conjugacy F -separable group.…”