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

生成讲解博客的中文版本

生成AI智能校验的中文版本