On elementary theory of completion of solvable Baumslag–Solitar group

封面

如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅或者付费存取

详细

We define a divisible completion of the solvable Baumslag–Solitar group BS(1,n) 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

参考

  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.

补充文件

附件文件
动作
1. JATS XML
下载

版权所有 © Russian Academy of Sciences, 2024