Atom-free ideals of constructive Boolean algebras

DOI10.1007/BF01979865MaRDI QIDQ1079562zbMATH OpenFDO

Authors S. P. Odintsov

Publication date 1984

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

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

zbMATH Keywords

atomic countable Boolean algebraatomless idealsFréchet idealsideal of atomless elementsrecursively presentable Boolean algebra

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Recommendations

• Recursive Boolean algebras with recursive atoms
• scientific article; zbMATH DE number 4081539
• scientific article; zbMATH DE number 1936726
• On Boolean Algebras and their Recursive Completions
• Recursive isomorphism types of recursive Boolean algebras

Cites work

• Hierarchies of Boolean algebras
• Recursive Boolean algebras with recursive atoms

Cited in

(11)

• Rumely domains with atomic constructible Boolean algebra. An effective viewpoint
• scientific article; zbMATH DE number 3900736 (Why is no real title available?)
• scientific article; zbMATH DE number 4075039 (Why is no real title available?)
• scientific article; zbMATH DE number 4081539 (Why is no real title available?)
• Effective presentability of Boolean algebras of Cantor-Bendixson rank 1
• scientific article; zbMATH DE number 1936726 (Why is no real title available?)
• Atomicity of the Boolean algebra of direct factors of a directed set
• Functional reducts of the countable atomless Boolean algebra
• Isomorphism of atomless Boolean algebras with distinguished ideals
• Universal recursively enumerable Boolean algebras
• Complexity-theoretic algebra. II: Boolean algebras

This page was built for publication: Atom-free ideals of constructive Boolean algebras

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