On Elementary Theory of Completion of Solvable Baumslag-Solitar Group

被引：0

作者：

Romanovskiy, N. S. ^{[1
]}

机构：

[1] Russian Acad Sci, Siberian Branch, Sobolev Inst Math, Novosibirsk, Russia

来源：

DOKLADY MATHEMATICS | 2024年 / 109卷 / 03期

关键词：

Baumslag-Solitar group; solvable; elementary theory;

D O I：

10.1134/S1064562424601239

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：268 / 270

页数：3

共 9 条

[1] Hodges W., 1993, MODEL THEORY, DOI DOI 10.1017/CBO9780511551574
[2] Kharlampovich O., 2021, GROUPS MODEL THEORY
[3] Marker D., 2002, MODEL THEORY INTRO
[4] NOSKOV GA, 1983, MATH USSR IZV+, V47, P465
[5] GROUPS UNIVERSALLY EQUIVALENT TO THE SOLVABLE BAUMSLAG-SOLITER GROUP
Romanovskii, N. S.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2022, 63 (01) : 163 - 166
[6] ON THE UNIVERSAL THEORIES OF GENERALIZED RIGID METABELIAN GROUPS
Romanovskii, N. S.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2020, 61 (05) : 878 - 883
[7] GENERALIZED RIGID METABELIAN GROUPS
Romanovskii, N. S.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2019, 60 (01) : 148 - 152
[8] Generalized Rigid Groups: Definitions, Basic Properties, and Problems
Romanovskii, N. S.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2018, 59 (04) : 705 - 709
[9] DIVISIBLE RIGID GROUPS. ALGEBRAIC CLOSEDNESS AND ELEMENTARY THEORY
Romanovskii, N. S.
[J]. ALGEBRA AND LOGIC, 2017, 56 (05) : 395 - 408

← 1 →