Σ-bounded algebraic systems and universal functions. II

被引：6
|
作者：
Khisamiev, A. N. [1 ]
机构：
[1] Sobolev Inst Math Novosibirsk, Novosibirsk, Russia
来源：
SIBERIAN MATHEMATICAL JOURNAL | 2010年 / 51卷 / 03期
基金：
俄罗斯基础研究基金会;
关键词：
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
相关论文
共 50 条
12345