Email this article 
On elementary theory of completion of solvable Baumslag–Solitar group
- Authors: Romanovskiy N.S.1
-
Affiliations:
- Sobolev Institute of Mathematics
- Issue: Vol 517 (2024)
- Pages: 92-95
- Section: MATHEMATICS
- URL: https://ruspoj.com/2686-9543/article/view/648003
- DOI: https://doi.org/10.31857/S2686954324030159
- EDN: https://elibrary.ru/YAAFLA
- ID: 648003
Cite item
Open Access
Access granted
Abstract
We define a divisible completion of the solvable Baumslag–Solitar group BS(1,n) and prove that under certain restrictions on the elementary theory of this completion is decidable.
Keywords
Full Text
About the authors
N. S. Romanovskiy
Sobolev Institute of Mathematics
Author for correspondence.
Email: rmnvski@math.nsc.ru
Russian Federation, Novosibirsk
References
- Groups and model theory: GAGTA Book 2. De Gruyter, 2021.
- Романовский Н.С. Обобщённо жёсткие группы: определение, базисные факты, проблемы // Сибирский математический журнал. 2018. Т. 59. № 4. С. 891–896.
- Романовский Н.С. Обобщённо жёсткие метабелевы группы // Сибирский математический журнал. 2019. Т. 60. № 1. С. 194–200.
- Романовский Н.С. Об универсальных теориях метабелевых обобщённо жёстких групп // Сибирский математический журнал. 2020. Т. 61. № 5. С. 1101–1107.
- Носков Г.А. Об элементарной теории конечно порожденной почти разрешимой группы // Изв. АН СССР. Сер. матем. 1983. Т. 47. № 3. С. 498–517.
- Романовский Н.С. Группы, универсально эквивалентные разрешимой группе Баумслага–Солитера // Сибирский математический журнал. 2022. Т. 63. № 1. С. 197–201.
- Романовский Н.С. Делимые жёсткие группы. Алгебраическая замкнутость и элементарная теория // Алгебра и логика. 2017. Т. 56. № 5. С. 593–612.
- Marker D. Model Theory: an Introduction. New York: Springer-Verlag, 2002.
- Hodges W. Model Theory. Cambridge: Cambridge Univ. Press, 1993.
Supplementary files
