Хисамиев А. Н.
Σ-ограниченные алгебраические системы и универсальные функции. II
Доказано, что любые алгебры Ершова, булевы алгебры и абелевы p-группы являются Σ-ограниченными системами и в наследственно конечных допустимых множествах над ними существуют универсальные Σ-функции.
|
Khisamiev A. N.
Σ-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.
|