Recursive automorphisms of atomic Boolean algebras
From MaRDI portal
Publication:809075
DOI10.1007/BF01978408zbMath0732.03035MaRDI QIDQ809075
Publication date: 1990
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/187531
06E99: Boolean algebras (Boolean rings)
03C57: Computable structure theory, computable model theory
03D45: Theory of numerations, effectively presented structures
Cites Work