|
|
Алгебра и логика, 1986, том 25, номер 4, страницы 425–435
(Mi al1950)
|
|
|
|
Эта публикация цитируется в 16 научных статьях (всего в 16 статьях)
Об универсальной рекурсивной функции на допустимых множествах
В. А. Руднев
Аннотация:
Изучается один из аспектов рекурсивной теории допустимых множеств — вопрос о существовании универсальной рекурсивной функции для минимальной допустимой надстройки $HF_{\mathfrak{M}}$ над моделью $\mathfrak{M}$. Получены некоторые достаточные условия существования такой функции. Построен пример, когда универсальной рекурсивной функции нет.
Поступило: 19.06.1985
Образец цитирования:
В. А. Руднев, “Об универсальной рекурсивной функции на допустимых множествах”, Алгебра и логика, 25:4 (1986), 425–435
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al1950 https://www.mathnet.ru/rus/al/v25/i4/p425
|
|