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

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

Об элементарной теории пополнения разрешимой группы Баумслага–Солитера

Код статьи
10.31857/S2686954324030159-1
DOI
10.31857/S2686954324030159
Тип публикации
Статья
Статус публикации
Опубликовано
Авторы
Том/ Выпуск
Том 517 / Номер выпуска 1
Страницы
92-95
Аннотация
Определяется делимое пополнение разрешимой группы Баумслага–Солитера и доказывается, что при некоторых ограничениях на элементарная теория этого пополнения алгоритмически разрешима.
Ключевые слова
группа Баумслага–Солитера разрешимая элементарная теория
Дата публикации
15.06.2024
Год выхода
2024
Всего подписок
0
Всего просмотров
37

Библиография

  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
Перевести

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

Scopus

Scopus

Scopus

Crossref

Scopus

Высшая аттестационная комиссия

При Министерстве образования и науки Российской Федерации

Scopus

Научная электронная библиотека