×

Automorphisms of Boolean algebras which are recursive over atoms. (English. Russian original) Zbl 0924.03058

Sib. Math. J. 40, No. 3, 478-482 (1999); translation from Sib. Mat. Zh. 40, No. 3, 561-566 (1999).
The author studies the groups of recursive automorphisms of constructive Boolean algebras that are recursive over atoms. In particular, he proves that if two constructive Boolean algebras have isomorphic groups of automorphisms recursive over atoms then these algebras are isomorphic. A counterexample constructed in the article shows that this result cannot be improved. As a corollary, the author derives that the group of automorphisms recursive over atoms and the group of recursive automorphisms of a Boolean algebra can be different.

MSC:

03C57 Computable structure theory, computable model theory
03D45 Theory of numerations, effectively presented structures
06E99 Boolean algebras (Boolean rings)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] S. S. Goncharov, Countable Boolean Algebras and Decidability [in Russian], Nauchnaya Kniga, Novosibirsk (1996). · Zbl 0902.03021
[2] A. I. Mal’tsev, Algorithms and Recursive Functions [in Russian], Nauka, Moscow (1986).
[3] J. D. Monk, ”Automorphism groups,” in: Handbook of Boolean Algebras, North-Holland, Amsterdam New York, Oxford, and Tokyo, 1989, Vol. 2, Chapter 14, pp. 517–546.
[4] M. Rubin, ”On the reconstruction of Boolean algebras from their automorphism groups,” in: Handbook of Boolean Algebras, North-Holland, Amsterdam, New York, Oxford, and Tokyo, 1989, Vol. 2, Chapter 15, pp. 547–606.
[5] P. Stepanek, ”Embeddings and automorphisms,” in: Handbook of Boolean Algebras, North-Holland, Amsterdam, New York, Oxford, and Tokyo, 1989, Vol. 2, Chapter 16, pp. 607–635.
[6] A. S. Morozov, ”Groups of computable automorphisms,” in: Handbook of Recursive Mathematics, 1998, Vol. 1, Elsevier, pp. 311–345. · Zbl 0940.03047
[7] J. B. Remmel, ”Recursive Boolean algebras,” in: Handbook of Boolean Algebras, North-Holland, Amsterdam, New York, Oxford, and Tokyo, 1989, Vol. 3, Chapter 25, pp. 1097–1165.
[8] A. S. Morozov, ”Groups of recursive automorphisms of constructive Boolean algebras,” Algebra i Logika,22, No. 2, 138–158 (1983). · Zbl 0549.03031 · doi:10.1007/BF01978663
[9] B. K. Dauletbaev, ”Automorphisms of Boolean algebras which are recursive over atoms,” in: Abstracts: 10 All-Union Conference on Mathematical Logic, Alma-Ata, 1990, p. 54.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.