Sciact
  • EN
  • RU

Groups elementarily equivalent to metabelian Baumslag – Solitar groups and regular bi-interpretability Full article

Journal Annals of Pure and Applied Logic
ISSN: 0168-0072
Output data Year: 2026, Volume: 177, Number: 5, Article number : 103695, Pages count : 18 DOI: 10.1016/103695
Tags Metabelian Baumslag -- Solitar group, Bi-interpretation, Elementary theory, Non-standard model, Exponential group
Authors Daniyarova E. 1 , Myasnikov A. 2
Affiliations
1 Sobolev Institute of Mathematics SB RAS
2 Stevens Institute of Technology

Funding (1)

1 Министерство науки и высшего образования РФ FWNF-2026-0033

Abstract: 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).
Cite: Daniyarova E. , Myasnikov A.
Groups elementarily equivalent to metabelian Baumslag – Solitar groups and regular bi-interpretability
Annals of Pure and Applied Logic. 2026. V.177. N5. 103695 :1-18. DOI: 10.1016/103695
Dates:
Submitted: Apr 16, 2024
Accepted: Nov 30, 2025
Published online: Dec 2, 2025
Published print: May 1, 2026
Identifiers: No identifiers
Citing: Пока нет цитирований
Altmetrics: