RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2003 Volume 44, Number 4, Pages 717–725 (Mi smj1207)

Computable families of superatomic Boolean algebras

P. E. Alaev

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences

Abstract: We describe the families of superatomic Boolean algebras which have a computable numbering. We define the notion of majorizability and establish a criterion that is formulated only on using algorithmic terms and majorizability. We give some examples showing that the condition of majorizability is essential. We also prove some criterion for the existence of a computable numbering for a family of $\alpha$-atomic algebras ($\alpha$ is a computable ordinal).

Keywords: computability, superatomic Boolean algebra, computable structure, computable numbering.

UDC: 510.5, 510.6, 512.563

Received: 15.07.2002


 English version:
Siberian Mathematical Journal, 2003, 44:4, 561–567

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025