- PII
- 10.31857/S2686954324030159-1
- DOI
- 10.31857/S2686954324030159
- Publication type
- Article
- Status
- Published
- Authors
- Volume/ Edition
- Volume 517 / Issue number 1
- Pages
- 92-95
- Abstract
- We define a divisible completion of the solvable Baumslag–Solitar group and prove that under certain restrictions on the elementary theory of this completion is decidable.
- Keywords
- группа Баумслага–Солитера разрешимая элементарная теория
- Date of publication
- 15.06.2024
- Year of publication
- 2024
- Number of purchasers
- 0
- Views
- 38
References
- 1. Groups and model theory: GAGTA Book 2. De Gruyter, 2021.
- 2. Романовский Н.С. Обобщённо жёсткие группы: определение, базисные факты, проблемы // Сибирский математический журнал. 2018. Т. 59. № 4. С. 891–896.
- 3. Романовский Н.С. Обобщённо жёсткие метабелевы группы // Сибирский математический журнал. 2019. Т. 60. № 1. С. 194–200.
- 4. Романовский Н.С. Об универсальных теориях метабелевых обобщённо жёстких групп // Сибирский математический журнал. 2020. Т. 61. № 5. С. 1101–1107.
- 5. Носков Г.А. Об элементарной теории конечно порожденной почти разрешимой группы // Изв. АН СССР. Сер. матем. 1983. Т. 47. № 3. С. 498–517.
- 6. Романовский Н.С. Группы, универсально эквивалентные разрешимой группе Баумслага–Солитера // Сибирский математический журнал. 2022. Т. 63. № 1. С. 197–201.
- 7. Романовский Н.С. Делимые жёсткие группы. Алгебраическая замкнутость и элементарная теория // Алгебра и логика. 2017. Т. 56. № 5. С. 593–612.
- 8. Marker D. Model Theory: an Introduction. New York: Springer-Verlag, 2002.
- 9. Hodges W. Model Theory. Cambridge: Cambridge Univ. Press, 1993.
