|
Sibirskii Matematicheskii Zhurnal, 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.
Received: 15.07.2002
Citation:
P. E. Alaev, “Computable families of superatomic Boolean algebras”, Sibirsk. Mat. Zh., 44:4 (2003), 717–725; Siberian Math. J., 44:4 (2003), 561–567
Linking options:
https://www.mathnet.ru/eng/smj1207 https://www.mathnet.ru/eng/smj/v44/i4/p717
|
|