RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive
Sibirsk. Mat. Zh., 2010 Volume 51, Number 3, Pages 676–693 (Mi smj2117)
This article is cited 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.

UDC: 512.540+510.5

Received: 28.10.2008


 English version: Siberian Mathematical Journal, 2010, 51:3, 537–551

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024