Groups elementarily equivalent to a free nilpotent group of finite rank

AbstractIn this paper, we give a complete algebraic description of groups elementarily equivalent to the P. Hall completion of a given free nilpotent group of finite rank over an arbitrary binomial domain. In particular, we characterize all groups elementarily equivalent to a free nilpotent group of finite rank