Об универсальной рекурсивной функции на допустимых множествах

Изучается один из аспектов рекурсивной теории допустимых множеств — вопрос о существовании универсальной рекурсивной функции для минимальной допустимой надстройки $HF_{\mathfrak{M}}$ над моделью $\mathfrak{M}$. Получены некоторые достаточные условия существования такой функции. Построен пример, когда универсальной рекурсивной функции нет.