Automorphisms of constructivizations of Boolean algebras
From MaRDI portal
Publication:1088654
DOI10.1007/BF00971303zbMath0613.03017OpenAlexW1984118671MaRDI QIDQ1088654
Publication date: 1986
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00971303
atomic constructive Boolean algebrasgroup of recursive automorphismsrecursive equivalence of constructivizationssimplicity of automorphism groups
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