On elementary theory of completion of solvable Baumslag–Solitar group
- Autores: Romanovskiy N.S.1
-
Afiliações:
- Sobolev Institute of Mathematics
- Edição: Volume 517, Nº 1 (2024)
- Páginas: 92-95
- Seção: MATHEMATICS
- URL: https://rjeid.com/2686-9543/article/view/648003
- DOI: https://doi.org/10.31857/S2686954324030159
- EDN: https://elibrary.ru/YAAFLA
- ID: 648003
Citar
Resumo
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.
Palavras-chave
Sobre autores
N. Romanovskiy
Sobolev Institute of Mathematics
Autor responsável pela correspondência
Email: rmnvski@math.nsc.ru
Rússia, Novosibirsk
Bibliografia
- 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.
Arquivos suplementares
