On elementary theory of completion of solvable Baumslag–Solitar group

Capa

Citar

Texto integral

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.

Sobre autores

N. Romanovskiy

Sobolev Institute of Mathematics

Autor responsável pela correspondência
Email: rmnvski@math.nsc.ru
Rússia, Novosibirsk

Bibliografia

  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.

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Russian Academy of Sciences, 2024

Согласие на обработку персональных данных

 

Используя сайт https://journals.rcsi.science, я (далее – «Пользователь» или «Субъект персональных данных») даю согласие на обработку персональных данных на этом сайте (текст Согласия) и на обработку персональных данных с помощью сервиса «Яндекс.Метрика» (текст Согласия).