scientific article; zbMATH DE number 4193662

MaRDI QIDQ5202182zbMATH OpenFDO

Authors Andrei S. Morozov

Publication date 1990

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

zbMATH Keywords

automorphism groupsconstructivityrecursive Boolean algebras

Mathematics Subject Classification ID

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

Recommendations

• Recursive automorphisms of atomic Boolean algebras
• Automorphisms of Boolean algebras which are recursive over atoms
• Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra
• Recursive Boolean algebras with recursive atoms
• Automorphisms of constructivizations of Boolean algebras
• Groups of recursive automorphisms of constructive Boolean algebras
• scientific article; zbMATH DE number 3889611
• Automorphisms of Boolean algebras definable by fixed elements
• Determining an atomic Boolean algebra from the action of the automorphism group
• Autostable atomic-ideal enrichments of computable Boolean algebras

Cited in

(23)

• Automorphisms of substructure lattices in recursive algebra
• Constructive Boolean algebras with almost-identical automorphisms
• Automorphisms of constructivizations of Boolean algebras
• Theory of Boolean algebras with a locally finite group of automorphisms
• Recursively rigid Boolean algebras
• Recursive Boolean algebras with a hyperhyperimmune set of atoms
• Every recursive Boolean algebra is isomorphic to one with incomplete atoms
• Automorphisms of Boolean algebras which are recursive over atoms
• A note on recursive completions of the countable atomless Boolean algebras
• Automorphisms of Boolean algebras definable by fixed elements
• scientific article; zbMATH DE number 4181679 (Why is no real title available?)
• Recursive isomorphism types of recursive Boolean algebras
• Recursive Boolean algebras with recursive atoms
• scientific article; zbMATH DE number 4164819 (Why is no real title available?)
• Combinatorial and recursive aspects of the automorphism group of the countable atomless Boolean algebra
• Splitting recursively enumerable subalgebras in recursive Boolean algebras
• Every Low Boolean Algebra is Isomorphic to a Recursive One
• scientific article; zbMATH DE number 1936726 (Why is no real title available?)
• On Boolean Algebras and their Recursive Completions
• scientific article; zbMATH DE number 1421077 (Why is no real title available?)
• Boolean algebras with finite families of computable automorphisms
• Relating De Morgan triples with Atanassov's intuitionistic De Morgan triples via automorphisms
• Persistence and atomic generation for varieties of Boolean algebras with operators

This page was built for publication:

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