Groups of recursive automorphisms of constructive Boolean algebras

DOI10.1007/BF01978663zbMath0549.03031OpenAlexW2070917910MaRDI QIDQ800354

Andrey S. Morozov

Publication date: 1983

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187212

zbMATH Keywords

constructive Boolean algebragroups of recursive authomorphisms

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Structure theory of lattices (06B05) Theory of numerations, effectively presented structures (03D45) Infinite automorphism groups (20B27)

Related Items (4)

Computable groups of automorphisms of models ⋮ Recursively rigid Boolean algebras ⋮ Partial automorphism semigroups ⋮ Automorphisms of Boolean algebras which are recursive over atoms

Cites Work

• On the automorphism groups of homogeneous and saturated Boolean algebras
• On the automorphism groups of countable Boolean algebras
• On the automorphism groups of denumerable Boolean algebras

This page was built for publication: Groups of recursive automorphisms of constructive Boolean algebras