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 idealsideal of atomless elementsrecursively presentable Boolean algebraFréchet ideals

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

(9)

• Atomicity of the Boolean algebra of direct factors of a directed set
• scientific article; zbMATH DE number 4075039 (Why is no real title available?)
• scientific article; zbMATH DE number 1936726 (Why is no real title available?)
• Functional reducts of the countable atomless Boolean algebra
• Rumely domains with atomic constructible Boolean algebra. An effective viewpoint
• scientific article; zbMATH DE number 3900736 (Why is no real title available?)
• Complexity-theoretic algebra. II: Boolean algebras
• scientific article; zbMATH DE number 4081539 (Why is no real title available?)
• Universal recursively enumerable 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)