Groups of recursive automorphisms of constructive Boolean algebras

DOI10.1007/BF01978663MaRDI QIDQ800354zbMATH OpenOpenAlexFDO

Authors Andrei 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

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

Recommendations

• Automorphisms of constructivizations of Boolean algebras
• scientific article; zbMATH DE number 3853049
• Constructive homogeneous extensions
• Strongly constructive Boolean algebras
• Effective choice of constructivizations and recursive consistency of problems on constructive models
• Effective choice for relations and reducibilities in classes of constructive and positive models
• On effective choice of constructivizations
• Publication:4732469
• scientific article; zbMATH DE number 1302871
• scientific article; zbMATH DE number 1302878

Cites work

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

Cited in

(11)

• scientific article; zbMATH DE number 3893167 (Why is no real title available?)
• Theory of Boolean algebras with a locally finite group of automorphisms
• scientific article; zbMATH DE number 4193662 (Why is no real title available?)
• Computable groups of automorphisms of models
• Automorphisms of Boolean algebras which are recursive over atoms
• Partial automorphism semigroups
• scientific article; zbMATH DE number 4059469 (Why is no real title available?)
• Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra
• Automorphisms of constructivizations of Boolean algebras
• Constructive Boolean algebras with almost-identical automorphisms
• Recursively rigid Boolean algebras

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q800354)