|
Алгебра и логика, 1994, том 33, номер 5, страницы 550–563
(Mi al2281)
|
|
|
|
Эта публикация цитируется в 8 научных статьях (всего в 8 статьях)
Последний вопрос о рекурсивно-перечислимых $m$-степенях
А. Нис Universität Heidelberg, Germany
Аннотация:
В работе показывается, что теория рекурсивно-перечислимых $m$-степеней имеет вычислительную сложность такую же, как и арифметика первого порядка. Фактически, в данной структуре степеней возможно без параметров определить стандартную модель арифметики.
Поступило: 20.06.1993
Образец цитирования:
А. Нис, “Последний вопрос о рекурсивно-перечислимых $m$-степенях”, Алгебра и логика, 33:5 (1994), 550–563
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2281 https://www.mathnet.ru/rus/al/v33/i5/p550
|
Статистика просмотров: |
Страница аннотации: | 28 | PDF полного текста: | 9 |
|