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 α-atomic algebras (α is a computable ordinal).
Similar content being viewed by others
References
Goncharov S. S., “Constructivizability of superatomic Boolean algebras,” Algebra i Logika, 12, No. 1, 31–40 (1973).
Goncharov S. S., Countable Boolean Algebras and Decidability [in Russian], Nauchnaya Kniga, Novosibirsk (1996).
Rogers H., Theory of Recursive Functions and Effective Computability [Russian translation], Mir, Moscow (1972).
Ash C. J., “A construction for recursive linear orderings,” J. Symbolic Logic, 56, No. 2, 673–683 (1991).
Ash C. J., “Recursive labelling systems and stability of recursive structures in hyperarithmetical degrees,” Trans. Amer. Math. Soc., 298, No. 2, 497–514 (1986).
Alaev P. E., “Countable homogeneous Boolean algebras and one metatheorem,” Algebra i Logika (to appear).
Ash C. J., “Categoricity in hyperarithmetical degrees,” Ann. Pure Appl. Logic, 34, No. 1, 1–14 (1987).
Khisamiev N. G., “A criterion for constructivizability of a direct sum of cyclic p-groups,” Izv. Akad. Nauk Kaz. SSR Ser. Fiz.-Mat., 98, No. 1, 51–55 (1981).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Alaev, P.E. Computable Families of Superatomic Boolean Algebras. Siberian Mathematical Journal 44, 561–567 (2003). https://doi.org/10.1023/A:1024762419356
Issue Date:
DOI: https://doi.org/10.1023/A:1024762419356