|
Дискретная математика, 1990, том 2, выпуск 1, страницы 87–93
(Mi dm839)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О представлении словарных предикатов из арифметической иерархии
С. С. Марченков
Аннотация:
Доказано, что в представлении предикатов из классов $A\Sigma_{2n}$, $A\Pi_{2n-1}$ арифметической иерархии словарных предикатов в аафавите $A$ вместо произвольных рекурсивных предикатов можно рассматривать изословарные предикаты Н. К. Косовского.
Статья поступила: 25.04.1989
Образец цитирования:
С. С. Марченков, “О представлении словарных предикатов из арифметической иерархии”, Дискрет. матем., 2:1 (1990), 87–93
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm839 https://www.mathnet.ru/rus/dm/v2/i1/p87
|
|