Automorphisms of constructivizations of Boolean algebras

DOI10.1007/BF00971303zbMath0613.03017OpenAlexW1984118671MaRDI QIDQ1088654

Andrey S. Morozov

Publication date: 1986

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00971303

zbMATH Keywords

atomic constructive Boolean algebrasgroup of recursive automorphismsrecursive equivalence of constructivizationssimplicity of automorphism groups

Mathematics Subject Classification ID

Boolean algebras (Boolean rings) (06E99) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Infinite automorphism groups (20B27)

Cites Work

• The Algebraic Simplicity of Certain Groups of Homeomorphisms
• Recursive Boolean algebras with recursive atoms