Algorithmic recognition of infinite cyclic extensions

Bren Cavallo, Jordi Delgado, Delaram Kahrobaei +1

We prove that one cannot algorithmically decide whether a finitely presented $\mathbb{Z}$-extension admits a finitely generated base group, and we use this fact to prove the undeci…