We prove that if a countable group is elementarily equivalent to a non-abelian free group and all of its finitely generated abelian subgroups are cyclic, then the group is a union of a chain of regular NTQ groups (i.e., hyperbolic towers).

中文翻译：

---

在可数的基本自由组上

我们证明，如果一个可数群基本等价于一个非阿贝尔自由群，并且其所有有限生成的阿贝尔子群都是循环的，那么该群是一串规则 NTQ 群（即双曲塔）的并集。