Completion of the Solvable Baumslag–Solitar group. Elementary Theory Full article
| Journal |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||
|---|---|---|---|
| Output data | Year: 2025, Volume: 63, Number: 5, Pages: 355-366 Pages count : 12 DOI: 10.1007/s10469-025-09798-x | ||
| Tags | solvable Baumslag–Solitar group, divisible completion, decidable theory | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0002 |
Abstract:
For the solvable Baumslag–Solitar group BS(1, n) (n > 1), we define the divisible completion BSd(1, n). We describe groups that are elementarily equivalent to the group BSd(1, n), find the axiomatics of the theory of the group BSd(1, n), and prove the decidability of this theory.
Cite:
Romanovskii N.S.
Completion of the Solvable Baumslag–Solitar group. Elementary Theory
Algebra and Logic. 2025. V.63. N5. P.355-366. DOI: 10.1007/s10469-025-09798-x OpenAlex
Completion of the Solvable Baumslag–Solitar group. Elementary Theory
Algebra and Logic. 2025. V.63. N5. P.355-366. DOI: 10.1007/s10469-025-09798-x OpenAlex
Original:
Романовский Н.С.
Пополнение разрешимой группы Баумслага-Солитера. Элементарная теория
Алгебра и логика. 2024. Т.63. №5.
Пополнение разрешимой группы Баумслага-Солитера. Элементарная теория
Алгебра и логика. 2024. Т.63. №5.
Dates:
| Submitted: | Aug 9, 2024 |
| Accepted: | Mar 19, 2025 |
| Published online: | Sep 29, 2025 |
Identifiers:
| OpenAlex: | W4414616939 |
Citing:
Пока нет цитирований