Σ-BOUNDED ALGEBRAIC SYSTEMS AND UNIVERSAL FUNCTIONS. II

摘要

Ershov algebras, Boolean algebras, and abelian p-groups are Σ-bounded systems, and there exist universal Σ-functions in hereditarily finite admissible sets over them.