|
Алгебра и логика, 1983, том 22, номер 2, страницы 232–235
(Mi al1810)
|
|
|
|
Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)
A conjecture of Ershov for a relative hierarchy fails near $\mathcal{O}$
J. Mohrherr
Аннотация:
Рассматривается вопрос, останется ли релятивизованная относительно данного $B\subseteq N$ иерархия (РЖМат, 1969, 2А78) достаточно представительной, если ограничиться обычной клиниевской системой ординальных обозначений $\mathcal{O}$. Дается отрицательный ответ для любого $B\subseteq N$ такого, что $\mathcal{O}\leqslant_T B'$.
Поступило: 01.08.1982
Образец цитирования:
J. Mohrherr, “A conjecture of Ershov for a relative hierarchy fails near $\mathcal{O}$”, Алгебра и логика, 22:2 (1983), 232–235
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1810 https://www.mathnet.ru/rus/al/v22/i2/p232
|
|