This article is cited in 1 paper

MATHEMATICS

On elementary theory of completion of solvable Baumslag–Solitar group

N. S. Romanovskii

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia

Abstract: We define a divisible completion of the solvable Baumslag–Solitar group $BS(1,n)$ and prove that under certain restrictions on $n$ the elementary theory of this completion is decidable.

Keywords: Baumslag–Solitar group, solvable, elementary theory.

UDC: 512.5, 510.6

Presented: S. S. Goncharov
Received: 26.04.2024
Revised: 06.06.2024
Accepted: 06.06.2024

DOI: 10.31857/S2686954324030159

 English version: Doklady Mathematics, 2024, 109:3, 268–270

Bibliographic databases:

•