RAS PresidiumДоклады Российской академии наук. Математика, информатика, процессы управления Doklady Mathematics

  • ISSN (Print) 2686-9543
  • ISSN (Online) 3034-5049

On elementary theory of completion of solvable Baumslag–Solitar group

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
41

References

  1. 1. Groups and model theory: GAGTA Book 2. De Gruyter, 2021.
  2. 2. Романовский Н.С. Обобщённо жёсткие группы: определение, базисные факты, проблемы // Сибирский математический журнал. 2018. Т. 59. № 4. С. 891–896.
  3. 3. Романовский Н.С. Обобщённо жёсткие метабелевы группы // Сибирский математический журнал. 2019. Т. 60. № 1. С. 194–200.
  4. 4. Романовский Н.С. Об универсальных теориях метабелевых обобщённо жёстких групп // Сибирский математический журнал. 2020. Т. 61. № 5. С. 1101–1107.
  5. 5. Носков Г.А. Об элементарной теории конечно порожденной почти разрешимой группы // Изв. АН СССР. Сер. матем. 1983. Т. 47. № 3. С. 498–517.
  6. 6. Романовский Н.С. Группы, универсально эквивалентные разрешимой группе Баумслага–Солитера // Сибирский математический журнал. 2022. Т. 63. № 1. С. 197–201.
  7. 7. Романовский Н.С. Делимые жёсткие группы. Алгебраическая замкнутость и элементарная теория // Алгебра и логика. 2017. Т. 56. № 5. С. 593–612.
  8. 8. Marker D. Model Theory: an Introduction. New York: Springer-Verlag, 2002.
  9. 9. Hodges W. Model Theory. Cambridge: Cambridge Univ. Press, 1993.
QR
Translate

Индексирование

Scopus

Scopus

Scopus

Crossref

Scopus

Higher Attestation Commission

At the Ministry of Education and Science of the Russian Federation

Scopus

Scientific Electronic Library