On elementary theory of completion of solvable Baumslag–Solitar group
- 作者: Romanovskiy N.S.1
-
隶属关系:
- Sobolev Institute of Mathematics
- 期: 卷 517, 编号 1 (2024)
- 页面: 92-95
- 栏目: MATHEMATICS
- URL: https://rjeid.com/2686-9543/article/view/648003
- DOI: https://doi.org/10.31857/S2686954324030159
- EDN: https://elibrary.ru/YAAFLA
- ID: 648003
如何引用文章
详细
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.
作者简介
N. Romanovskiy
Sobolev Institute of Mathematics
编辑信件的主要联系方式.
Email: rmnvski@math.nsc.ru
俄罗斯联邦, Novosibirsk
参考
- 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.
补充文件
