$\Sigma$-ограниченные алгебраические системы и универсальные функции. II

Доказано, что любые алгебры Ершова, булевы алгебры и абелевы $p$-группы являются $\Sigma$-ограниченными системами и в наследственно конечных допустимых множествах над ними существуют универсальные $\Sigma$-функции.