Об универсальной $\Sigma$-функции над деревом

Получены достаточные условия отсутствия в допустимом множестве (наследственно конечном допустимом множестве) универсальной $\Sigma$-функции. Построено дерево $T$ высоты 4 такое, что в наследственно конечном допустимом множестве $\mathbb{HF}(T)$ над $T$ не существует универсальной $\Sigma$-функции.