|
Сибирский математический журнал, 1980, том 21, номер 6, страницы 196–201
(Mi smj3816)
|
|
|
|
Разрешимые фрагменты универсальных теорий и экзистенциально замкнутые модели
О. В. Белеградек Кемеровский государственный университет
Аннотация:
Получены критерии разрешимости некоторых фрагментов универсальных теорий. Это дает, в частности, новые алгебраические характеризации конечно определенных групп с разрешимой проблемой слов и классов конечно определенных групп с разрешимой проблемой тривиальности.
Библ. 13.
Статья поступила: 05.03.1980
Образец цитирования:
О. В. Белеградек, “Разрешимые фрагменты универсальных теорий и экзистенциально замкнутые модели”, Сиб. матем. журн., 21:6 (1980), 196–201; Siberian Math. J., 21:6 (1980), 898–902
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj3816 https://www.mathnet.ru/rus/smj/v21/i6/p196
|
Статистика просмотров: |
Страница аннотации: | 58 | PDF полного текста: | 23 |
|