|
Sibirskii Matematicheskii Zhurnal, 2010, Volume 51, Number 3, Pages 676–693
(Mi smj2117)
|
|
|
|
This article is cited in 8 scientific papers (total in 8 papers)
$\Sigma$-bounded algebraic systems and universal functions. II
A. N. Khisamiev Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Abstract:
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.
Keywords:
admissible set, $\Sigma$-definability, computability, universal $\Sigma$-function, $\Sigma$-bounded algebraic system, Ershov algebra, Boolean algebra, abelian $p$-group.
Received: 28.10.2008
Citation:
A. N. Khisamiev, “$\Sigma$-bounded algebraic systems and universal functions. II”, Sibirsk. Mat. Zh., 51:3 (2010), 676–693; Siberian Math. J., 51:3 (2010), 537–551
Linking options:
https://www.mathnet.ru/eng/smj2117 https://www.mathnet.ru/eng/smj/v51/i3/p676
|
|