Key points are not available for this paper at this time.
We prove that metabelian Baumslag-Solitar group BS (1, k), k>1, is (strongly) regularly bi-interpretable with the ring of integers Z, and describe in algebraic terms all groups that are elementarily equivalent to BS (1, k).
Daniyarova et al. (Sun,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: