共 50 条
Σ-bounded algebraic systems and universal functions. II
被引:6
|作者:
Khisamiev, A. N.
[1
]
机构:
[1] Sobolev Inst Math Novosibirsk, Novosibirsk, Russia
基金:
俄罗斯基础研究基金会;
关键词:
admissible set;
Sigma-definability;
computability;
universal Sigma-function;
Sigma-bounded algebraic system;
Ershov algebra;
Boolean algebra;
abelian p-group;
D O I:
10.1007/s11202-010-0056-x
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
Ershov algebras, Boolean algebras, and abelian p-groups are Sigma-bounded systems, and there exist universal Sigma-functions in hereditarily finite admissible sets over them.
引用
收藏
页码:537 / 551
页数:15
相关论文