TY - JOUR
T1 - Groups elementarily equivalent to metabelian Baumslag – Solitar groups and regular bi-interpretability
AU - Daniyarova, Evelina
AU - Myasnikov, Alexei
N1 - Publisher Copyright:
© 2025
PY - 2026/5
Y1 - 2026/5
N2 - 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).
AB - 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).
KW - Bi-interpretation
KW - Elementary theory
KW - Exponential group
KW - Metabelian Baumslag – Solitar group
KW - Non-standard model
UR - https://www.scopus.com/pages/publications/105024014071
UR - https://www.scopus.com/pages/publications/105024014071#tab=citedBy
U2 - 10.1016/j.apal.2025.103695
DO - 10.1016/j.apal.2025.103695
M3 - Article
AN - SCOPUS:105024014071
SN - 0168-0072
VL - 177
JO - Annals of Pure and Applied Logic
JF - Annals of Pure and Applied Logic
IS - 5
M1 - 103695
ER -