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)$.
No takes yet. Share an insight, caveat, or question.
Daniyarova et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: