Abstract:
We obtain a sufficient condition for the absence of any universal $\Sigma$-function in an admissible set (a hereditarily finite admissible set). We construct a tree $T$ of height 4 such that no universal $\Sigma$-function exists in the hereditarily finite admissible set $\mathbb{HF}(T)$ over $T$.