On elementary theory of completion of solvable Baumslag–Solitar group

Мұқаба

Дәйексөз келтіру

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

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

Әдебиет тізімі

  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