|
Алгебра и логика, 1981, том 20, номер 2, страницы 207–230
(Mi al1725)
|
|
|
|
Эта публикация цитируется в 5 научных статьях (всего в 5 статьях)
Неразрешимость универсальной теории конечных групп
А. М. Слободской
Аннотация:
Доказывается, что универсальная теория конечных групп неразрешима. В качестве метода доказательства используется представление работы машин Минского в универсальных теориях групп и полугрупп.
Поступило: 10.04.1980
Образец цитирования:
А. М. Слободской, “Неразрешимость универсальной теории конечных групп”, Алгебра и логика, 20:2 (1981), 207–230
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1725 https://www.mathnet.ru/rus/al/v20/i2/p207
|
Статистика просмотров: |
Страница аннотации: | 78 | PDF полного текста: | 30 |
|