Atom-free ideals of constructive Boolean algebras

DOI10.1007/BF01979865zbMath0598.03037MaRDI QIDQ1079562

Sergei 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)

Cites Work

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

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